Pinned Loading

1. drawing-and-animation-tool-js drawing-and-animation-tool-js Public

   A drawing and animation tool that let's you draw on a screen and play back your mouse tracks.

   JavaScript 5

2. CRP-mixtures-in-Gen CRP-mixtures-in-Gen Public

   Tutorial about Chinese Restaurant Process mixtures in Gen (which is a general-purpose probabilistic programming system, embedded in Julia).

   Jupyter Notebook 1

3. parser-combinator-js parser-combinator-js Public

   A Javascript implementation of the monadic parser combinators defined by G. Hutton and E. Meijer.

   JavaScript 6