Popular repositories

1. ikalman ikalman Public

   An iPhone-friendly Kalman filter written in C.

   C 302 95

2. kata kata Public

   If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.

   Lean 19 1

3. godel godel Public

   Helper scripts for understanding Gödel's Incompleteness Theorem

   Shell 12

4. cardkit cardkit Public

   A bunch of tools for building card games.

   JavaScript 10 4

5. coinkit coinkit Public

   Tools for making cryptocurrency stuff

   Go 9 4

6. recipes recipes Public

   4