Pinned Loading

1. memo memo Public

   A probabilistic programming language for metacognitive modeling

   Python 149 15

2. nearley nearley Public

   📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

   JavaScript 3.7k 234

3. gradient-descent-the-ultimate-optimizer gradient-descent-the-ultimate-optimizer Public

   Code for our NeurIPS 2022 paper

   Python 370 21

4. jigsaw jigsaw Public

   An Escher-esque jigsaw puzzle generator

   Standard ML 9 2

5. recreational-rosette recreational-rosette Public

   Some fun examples of solving problems with symbolic execution

   Racket 116 9

6. prufrock prufrock Public

   A literary proof assistant built on the affine calculus of inductive constraints

   Standard ML 8