pharpend's repositories
castingsim
Simulates casting in a meritocracy.
codingbat-hs
CodingBat solutions in Haskell
eros-client
A command-line interface to the eros library.
hd-wallet-js
HD Wallet for the æternity blockchain
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
learnhaskell
Learn Haskell
puffytools
CLI-based "personal assistant."
sat-vocab-test
A console-based SAT prep tool I wrote a few years ago.
satv2-tutorial
A tutorial, redoing sat-vocab-test.
slaughterhouse
A variant of chess.
yesod-markdown
Markdown processing for Yesod