l
Repositories
Select a repository to view its commits, contributors, and more.public
ikalman
An iPhone-friendly Kalman filter written in C.
C
304
96
2
Updated 2 months ago
public
kata
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
0
Updated 4 days ago
public
godel
Helper scripts for understanding Gödel's Incompleteness Theorem
Shell
13
0
0
Updated 5 months ago
public
cardkit
A bunch of tools for building card games.
JavaScript
10
4
2
Updated 6 years ago
public
coinkit
Tools for making cryptocurrency stuff
Go
9
4
0
Updated a year ago
public
acorn
A language for mathematics.
Rust
5
0
0
Updated a day ago
public
recipes
5
0
0
Updated 4 months ago
public
graphql-hacks
Hacking around with GraphQL
JavaScript
4
2
0
Updated 2 years ago
public
seticore
A high-performance implementation of some core SETI algorithms that can be included in other programs.
Jupyter Notebook
3
6
3
Updated 10 days ago
public
valentines
It seemed like a waste to not put this up on the internet somewhere.
HTML
3
0
0
Updated 3 years ago
public
lacker.github.io
a blog
SCSS
3
0
0
Updated 5 months ago
public
chess
Random fun chess-related stuff.
JavaScript
2
0
0
Updated 8 years ago