Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
My unix/linux configuration files.
A tiny dependently typed programming language
A minimal Haskell library that implements FSMs of various different types along with conversion of regexes to NFAs.
A tiny implementation of System F
A implementation of ed written in ocaml using a functional style.
in the last year
lehmacdj has no activity yet for this period.
Press h to open a hovercard with more details.