Projects in Awesome Lists by kach
A curated list of projects in awesome lists by kach .
https://github.com/kach/nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
earley-algorithm earley-parser javascript nearley node nodejs parser parsing parsing-library
Last synced: 23 Dec 2025
https://github.com/kach/gradient-descent-the-ultimate-optimizer
Code for our NeurIPS 2022 paper
deep-learning differentiable-programming machine-learning neurips neurips-2022 pytorch
Last synced: 05 Apr 2025
https://github.com/kach/memo
A probabilistic programming language for metacognitive modeling
cognitive-science differentiable-programming jax probabilistic-programming python
Last synced: 16 Jan 2026
https://github.com/kach/recreational-rosette
Some fun examples of solving problems with symbolic execution
Last synced: 05 Jan 2026
https://github.com/kach/tower-of-power
What is hip? Tell me, tell me (if you think you know)
Last synced: 06 Oct 2025
https://github.com/kach/designing-perceptual-puzzles-by-differentiating-probabilistic-programs
Supplementary materials for our SIGGRAPH 2022 paper
differentiable-programming probabilistic-programming siggraph
Last synced: 12 Apr 2025
https://github.com/kach/neural-ambigrams
Generating digits that are secretly *other* digits doing handstands
Last synced: 05 Jan 2026
https://github.com/kach/acting-as-inverse-inverse-planning
Code for our SIGGRAPH 2023 paper, "Acting as Inverse Inverse Planning"
animation bayesian-inference cognitive-science siggraph theory-of-mind
Last synced: 08 May 2025
https://github.com/kach/chaos-game-fractal-foliage
Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
Last synced: 27 Feb 2026
https://github.com/kach/eddie
An automatic first-order theorem prover in Haskell
Last synced: 12 Apr 2025
https://github.com/kach/kesar
A Python library for quickly building human subject studies
Last synced: 12 Apr 2025
https://github.com/kach/gifblocks
Make animated GIFs from your Scratch projects!
Last synced: 23 Mar 2025
https://github.com/kach/gauguine
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
Last synced: 02 Apr 2026
https://github.com/kach/torchsaber
Elegant dimensions for a more civilized age
Last synced: 12 Apr 2025
https://github.com/kach/prufrock
A literary proof assistant built on the affine calculus of inductive constraints
Last synced: 24 Feb 2026
https://github.com/kach/haskell-lambda-calculus
A simple lambda calculus interpreter in Haskell.
Last synced: 14 Oct 2025
https://github.com/kach/voxel
Yet another raytracer, because we don't have enough of those already
Last synced: 03 Feb 2026
https://github.com/kach/sublime-nearley
A nearley syntax plugin for TextMate/Sublime Text
Last synced: 15 Sep 2025
https://github.com/kach/hootow-hyperlapse
Using classic computer vision algorithms to align hundreds of images of Hoover Tower
Last synced: 29 Apr 2026
https://github.com/kach/optimally-framing-roger-rabbit
accelerating accelerators with differentiable kD-trees
Last synced: 09 May 2026
https://github.com/kach/boxcars
Lively box-and-pointer diagrams for Racket.
Last synced: 05 Jan 2026
https://github.com/kach/turtlegrad
Bidirectional programming by gradient descent
Last synced: 23 Mar 2025
https://github.com/kach/scotty
Specify Characters On a TTY - Readline for binary input
Last synced: 03 May 2026
https://github.com/kach/lagrange-climbs-a-hill
Interpolating Lagrangian mechanics by AD and gradient descent
Last synced: 30 Apr 2026
https://github.com/kach/indexme
Quick, portable, versatile directory listing generator
Last synced: 23 Mar 2025
https://github.com/kach/poison-ivy
Create a graphical representation of dependency relationships between Ivy conjectures.
Last synced: 18 May 2026
https://github.com/kach/generative-adversarial-web-development
Substance… and style!
Last synced: 17 Feb 2026
https://github.com/kach/bentley-blizzard-blossoms
A frosty MNIST alternative :)
Last synced: 08 Jun 2026
https://github.com/kach/karel-clock
Because there's only so many quarters I'm willing to put up with tally marks on binder paper
Last synced: 02 Feb 2026
https://github.com/kach/alchemy
A bad IRC bot, but one whom we will forever love.
Last synced: 07 Oct 2025
https://github.com/kach/chosen
Easy and beautiful CLI multiple-choice selection
Last synced: 08 May 2026
https://github.com/kach/smudge
Snazzy Multi-User Dungeon (Guaranteed to be Excellent)
Last synced: 21 Apr 2026
https://github.com/kach/jax.value_and_jacfwd
Provides an implementation of a missing primitive in JAX, value_and_jacfwd
Last synced: 07 Oct 2025
https://github.com/kach/little-language-for-luck
A Python-embedded DSL for doing probability problems! (My CS343D final project, Fall 2020-21.)
Last synced: 13 Oct 2025