Vim plugin for displaying type annotations of TypeScript programs produced by nano-js (https://github.com/UCSD-PL/nano-js)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Sample code files to accompany the book “Interactive Data Visualization for the Web”
Various documents related to LiquidHaskell