abau

dilay. a 3D sculpting application

cppsat. Propositional Encodings in C++11

variant. Type-safe, memory-managed sum-types in C++11

bildpunkt. Weekend project: bildpunkt - a GPU-based distance field renderer

hannah. a DSL for parsing and generating files and network traces

co4. COmplexity COncerned COnstraint COmpiler