pharpend/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
Developer Profile
pharpend
Discovered public repositories for pharpend in the GitHub catalog.
pharpend/popwin-el
Popup Window Manager for Emacs
pharpend/itemize
item thing
pharpend/puffytools
CLI-based "personal assistant."
pharpend/hindent
Extensible Haskell pretty printer
pharpend/time
A time library
pharpend/castr
Casting simulation
pharpend/harpend
Static hakyll site.
pharpend/markdown
Convert Markdown to HTML, with XSS protection
pharpend/lyaa
Commutative Algebra ramblings
pharpend/anna-backup
Site for my dog.
pharpend/aeson
A fast Haskell JSON library
pharpend/learnhaskell
Learn Haskell
pharpend/flogger
Client for the flogger CMS
pharpend/eros-http
HTTP server for eros.
pharpend/slaughterhouse
A variant of chess.
pharpend/satv2
Version 2 of the SAT vocab quizzer.
pharpend/satv2-tutorial
A tutorial, redoing sat-vocab-test.
pharpend/eros-client
A command-line interface to the eros library.
pharpend/eros
A Haskell library for text censorship
pharpend/codingbat-hs
CodingBat solutions in Haskell
pharpend/txtblk
A text blocker, in Haskell.
pharpend/semiring
A Haskell library for semirings
pharpend/tropical
A Haskell library for dealing with tropical math.
pharpend/tn
A journaling program in Haskell
pharpend/dotfiles
Various configuration files
pharpend/sat-vocab-test
A console-based SAT prep tool I wrote a few years ago.
pharpend/castingsim
Simulates casting in a meritocracy.