Software build-automation tool written in Common Lisp
C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Nepenthes is a framework for iOS & macOS App quick development
orchestrator / cluster deployment tool
SPIN-based Eclipse Model Checking Plugin
Flyweight BPM system. Include Workflow,Form,Report etc.