PinnedLoading

1. drawing-and-animation-tool-jsdrawing-and-animation-tool-jsPublic

   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-GenCRP-mixtures-in-GenPublic

   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-jsparser-combinator-jsPublic

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

   JavaScript 7