Tim Engler
Results
4
repositories owned by
Tim Engler
bitcoin-tax-calculator
18
Stars
6
Forks
Watchers
Helps calcuate capital gain/loss information for crypto currency trades
idris2-mode
18
Stars
7
Forks
Watchers
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
paper_otp
42
Stars
1
Forks
Watchers
One time pad message which can be decoded using only paper and a light source