nearley. πππ² Simple, fast, powerful parser toolkit for JavaScript.
3.7kgradient-descent-the-ultimate-optimizer. Code for our NeurIPS 2022 paper
370memo. A probabilistic programming language for metacognitive modeling
148recreational-rosette. Some fun examples of solving problems with symbolic execution
116tower-of-power. What is hip? Tell me, tell me (if you think you know)
111designing-perceptual-puzzles-by-differentiating-probabilistic-programs. Supplementary materials for our SIGGRAPH 2022 paper
28shabdle. Shabdle is Wordle in Hindi
26acting-as-inverse-inverse-planning. Code for our SIGGRAPH 2023 paper, "Acting as Inverse Inverse Planning"
20neural-ambigrams. Generating digits that are secretly *other* digits doing handstands
19chaos-game-fractal-foliage. Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
15gauguine. Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
14Snapin8r. A Scratch 2.0->Snap! converter
13eddie. An automatic first-order theorem prover in Haskell
12kesar. A Python library for quickly building human subject studies
10gifblocks. Make animated GIFs from your Scratch projects!
9emo.7. The man page for emoticons.
9jigsaw. An Escher-esque jigsaw puzzle generator
9torchsaber. Elegant dimensions for a more civilized age
8prufrock. A literary proof assistant built on the affine calculus of inductive constraints
8shock. It's simple⦠it's static⦠it's shock!
8haskell-lambda-calculus. A simple lambda calculus interpreter in Haskell.
7hamelin. Revenge of the The Py'd Piper
7lowtex. Low-tech text processing
7baobab. Interactive Fiction with Racket and love
6awesome-courses. List of awesome university courses for learning Computer Science!
5voxel. Yet another raytracer, because we don't have enough of those already
5sublime-nearley. A nearley syntax plugin for TextMate/Sublime Text
5hootow-hyperlapse. Using classic computer vision algorithms to align hundreds of images of Hoover Tower
4softraxterizer. A small softras implemented in JAX
4hell. Because http://xkcd.com/724/
4quackoverflow. Meow.
3art-deco. Jupyter Notebook
3bellhop. A simple, informative bell schedule app.
3boxcars. Lively box-and-pointer diagrams for Racket.
3optimally-framing-roger-rabbit. accelerating accelerators with differentiable kD-trees
3watchat. Racket
3Human. Humanist documentation
2Legible. Regexes for Humans
2englipsum. Usable loremtext
2ketchup. A temporal RSS proxy
2racket. The Racket repository
2scotty. Specify Characters On a TTY - Readline for binary input
2turtlegrad. Bidirectional programming by gradient descent
2generative-adversarial-web-development. Substance⦠and style!
1poison-ivy. Create a graphical representation of dependency relationships between Ivy conjectures.
1bentley-blizzard-blossoms. A frosty MNIST alternative :)
1