JP Smith

tarts. Timing attack resistant type systems

Idris-Bifunctors. A small bifunctor library for idris

Idris-Profunctors. A small profunctor library for idris

Broadhead. Arrow-based parser combinators

trapifier.py. Makes audio awesome

funfacts.js. For when javascript's error messages are just way too helpful

Bad-Crypto. A bunch of flawed encryption algorithms

retrogarde. Shell

EQUANIMITY3000. Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

firestr. Simple platform for distributed communication and computation.

complex. Messing around with complex numbers in idris

Tic-Tac-Toe.hs. tic-tac-toe in haskell