emc2/cfengine_stuff
CFEngine3 files for doing various system maintenance tasks
A test framework expanding on the HUnit Haskell testing package
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
CFEngine3 files for doing various system maintenance tasks
Modeling and proofs about the state space construction in Coq
LLVM Plugins to generate runtime system glue from the output of the Simple IR code generator
Development repository for a driver for the Wellspring touchpad mouse for FreeBSD