Pinned Repositories
designing-perceptual-puzzles-by-differentiating-probabilistic-programs
Supplementary materials for our SIGGRAPH 2022 paper
gradient-descent-the-ultimate-optimizer
Code for our NeurIPS 2022 paper
jigsaw
An Escher-esque jigsaw puzzle generator
memo
A domain-specific probabilistic programming language for reasoning about reasoning
nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
neural-ambigrams
Generating digits that are secretly *other* digits doing handstands
prufrock
A literary proof assistant built on the affine calculus of inductive constraints
recreational-rosette
Some fun examples of solving problems with symbolic execution
shabdle
Shabdle is Wordle in Hindi
tower-of-power
What is hip? Tell me, tell me (if you think you know)
kach's Repositories
kach/nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
kach/gradient-descent-the-ultimate-optimizer
Code for our NeurIPS 2022 paper
kach/memo
A domain-specific probabilistic programming language for reasoning about reasoning
kach/designing-perceptual-puzzles-by-differentiating-probabilistic-programs
Supplementary materials for our SIGGRAPH 2022 paper
kach/shabdle
Shabdle is Wordle in Hindi
kach/neural-ambigrams
Generating digits that are secretly *other* digits doing handstands
kach/acting-as-inverse-inverse-planning
Code for our SIGGRAPH 2023 paper, "Acting as Inverse Inverse Planning"
kach/chaos-game-fractal-foliage
Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
kach/kesar
A Python library for quickly building human subject studies
kach/shock
It's simple… it's static… it's shock!
kach/torchsaber
Elegant dimensions for a more civilized age
kach/hootow-hyperlapse
Using classic computer vision algorithms to align hundreds of images of Hoover Tower
kach/softraxterizer
A small softras implemented in JAX
kach/art-deco
kach/optimally-framing-roger-rabbit
accelerating accelerators with differentiable kD-trees
kach/watchat
kach/turtlegrad
Bidirectional programming by gradient descent
kach/bentley-blizzard-blossoms
A frosty MNIST alternative :)
kach/gauguine
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
kach/generative-adversarial-web-development
Substance… and style!
kach/jeopardy-wagering-under-uncertainty
kach/lagrange-climbs-a-hill
Interpolating Lagrangian mechanics by AD and gradient descent
kach/poison-ivy
Create a graphical representation of dependency relationships between Ivy conjectures.
kach/asst2-convlayer
Assignment 2 for Stanford CS348K
kach/jax.value_and_jacfwd
Provides an implementation of a missing primitive in JAX, value_and_jacfwd
kach/karel-clock
Because there's only so many quarters I'm willing to put up with tally marks on binder paper
kach/little-language-for-luck
A Python-embedded DSL for doing probability problems! (My CS343D final project, Fall 2020-21.)
kach/pbrt-v3
Source code for pbrt, the renderer described in the third edition of "Physically Based Rendering: From Theory To Implementation", by Matt Pharr, Wenzel Jakob, and Greg Humphreys.
kach/rocket-flame-renderer
A CS 348B final project
kach/Snap
a visual programming language inspired by Scratch