Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Repositories
kach repositories
A Python-embedded DSL for doing probability problems! (My CS343D final project, Fall 2020-21.)
Low-tech text processing
A probabilistic programming language for metacognitive modeling
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
Generating digits that are secretly *other* digits doing handstands
Send us a pull request by editing index.json
accelerating accelerators with differentiable kD-trees
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 unopinionated card-based task manager
Create a graphical representation of dependency relationships between Ivy conjectures.
An engineer's copilot
A literary proof assistant built on the affine calculus of inductive constraints
Meow.
The Racket repository
Some fun examples of solving problems with symbolic execution
A CS 348B final project
Specify Characters On a TTY - Readline for binary input
HTML 5 based Scratch project player
Shabdle is Wordle in Hindi