Pinned Loading

1. nearley nearley Public

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

   JavaScript 3.6k 230

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

   Code for our NeurIPS 2022 paper

   Python 361 22

3. jigsaw jigsaw Public

   An Escher-esque jigsaw puzzle generator

   Standard ML 8 2

4. recreational-rosette recreational-rosette Public

   Some fun examples of solving problems with symbolic execution

   Racket 111 9

5. prufrock prufrock Public

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

   Standard ML 8

6. tower-of-power tower-of-power Public

   What is hip? Tell me, tell me (if you think you know)

   Python 110 3