Pinned Loading

1. universal-twitch-reader universal-twitch-reader Public

   Jupyter Notebook 1

2. FastFractal FastFractal Public

   Code for an improved fractal encoder as part of Harvard's CS222

   C++

3. FormalByzantine FormalByzantine Public

   A formal proof of the Byzantine General's problem in the Lean theorem prover

   Lean

4. pupil pupil Public

   An experiment into making games with rust

   Rust