Kartik Chandra

A probabilistic programming language for metacognitive modeling

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

Code for our NeurIPS 2022 paper

An Escher-esque jigsaw puzzle generator

Some fun examples of solving problems with symbolic execution

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

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

Supplementary materials for our SIGGRAPH 2022 paper

Shabdle is Wordle in Hindi

Code for our SIGGRAPH 2023 paper, "Acting as Inverse Inverse Planning"

Generating digits that are secretly *other* digits doing handstands

Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"

Gauguin, Descartes, Bayes: A Diurnal Golem's Brain

A Scratch 2.0->Snap! converter

An automatic first-order theorem prover in Haskell

A Python library for quickly building human subject studies

Make animated GIFs from your Scratch projects!

The man page for emoticons.

It's simple… it's static… it's shock!

Elegant dimensions for a more civilized age

A simple lambda calculus interpreter in Haskell.

Low-tech text processing

Revenge of the The Py'd Piper

Interactive Fiction with Racket and love

List of awesome university courses for learning Computer Science!

A nearley syntax plugin for TextMate/Sublime Text

Yet another raytracer, because we don't have enough of those already

Using classic computer vision algorithms to align hundreds of images of Hoover Tower

A small softras implemented in JAX

Because http://xkcd.com/724/

No description.

No description.

accelerating accelerators with differentiable kD-trees

Lively box-and-pointer diagrams for Racket.

A simple, informative bell schedule app.

Meow.

Humanist documentation

A temporal RSS proxy

Bidirectional programming by gradient descent

Specify Characters On a TTY - Readline for binary input

Usable loremtext

The Racket repository

Regexes for Humans

Substance… and style!

A frosty MNIST alternative :)

An IRC bot that runs shell commands

Interpolating Lagrangian mechanics by AD and gradient descent

No description.

Create a graphical representation of dependency relationships between Ivy conjectures.

Quick, portable, versatile directory listing generator

🙌 Give thanks to the open source maintainers you depend on! ✨

HTML 5 based Scratch project player

A simple demo IRC bot in Python

Provides an implementation of a missing primitive in JAX, value_and_jacfwd

Assignment 2 for Stanford CS348K

Because there's only so many quarters I'm willing to put up with tally marks on binder paper

a visual programming language inspired by Scratch

A Python-embedded DSL for doing probability problems! (My CS343D final project, Fall 2020-21.)

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.

An engineer's copilot

A CS 348B final project

An unopinionated card-based task manager

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

A bad IRC bot, but one whom we will forever love.

Snazzy Multi-User Dungeon (Guaranteed to be Excellent)

:beer: The missing package manager for OS X.

free and short JS.ORG domains for GitHub Pages

Markdown for presentations; compiled into HTML

Interactive Fiction player in nodejs

Send us a pull request by editing index.json

Easy and beautiful CLI multiple-choice selection

My blog.