Tim Engler

TinyTravelTracker. Private Android GPS tracker

paper_otp. One time pad message which can be decoded using only paper and a light source

bitcoin-tax-calculator. Helps calcuate capital gain/loss information for crypto currency trades

NomicCoin201710. A p2p network written in Idris and designed to be very similar to idris itself

nomiccoin. simple voting coin experiment

MpvLangLearn. Plays mpv files with subtitles in a way to optimize for learning a foreign (human) language

NC201712. Something to do with nomics and coins

idris2_learn. some examples of various idris2 syntax

IrcScanner. Haskell