Devin Lehmacher

haskell-through-diagrams-book. The source for the book haskell-through-diagrams

hanabi. An implementation of hanabi, with a goal of writing some basic strategies to play.

vim-magic-link-paste. Easily create links when pasting URLs in vim

state-machines. A minimal Haskell library that implements FSMs of various different types along with conversion of regexes to NFAs.

notes. Cornell University Notes

whisrt. Python

wiki-language-server. An LSP implementation for wiki style markdown notes.

readline-in-other-words. Readline and associated effects for in-other-words

haskell-through-diagrams. The code to go along with the book haskell-through-diagrams.

polysemy-readline. Haskeline compatibility for polysemy.

system-f. A tiny implementation of System F

nodal. A graph based note taking application

haskell-experiments. Some random experiments while I am learning/playing with haskell

system-lang. A programming language between ASM and C without all of C's warts and some better abstraction