emc2/HUnit-Plus
A test framework expanding on the HUnit Haskell testing package
Developer Profile
emc2
Discovered public repositories for emc2 in the GitHub catalog.
emc2/cfengine_stuff
CFEngine3 files for doing various system maintenance tasks
emc2/state-space-model
Modeling and proofs about the state space construction in Coq
emc2/runtime-llvm-plugin
LLVM Plugins to generate runtime system glue from the output of the Simple IR code generator
emc2/well-driver
Development repository for a driver for the Wellspring touchpad mouse for FreeBSD
emc2/cv-management
The tools I use to manage my resume/CV
emc2/proglang-util
General utility code for implementing programming language frontends and compilers in Haskell
emc2/llvm-bindings
LLVM Bindings for Haskell