Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
LabVIEW VIs for ZLib compression and Base64/binhex encoding
Bug-fix-only libev port of shadowsocks
Makani was developed a commercial-scale airborne wind turbine
A post exploitation framework designed to operate covertly
Scalable and secure web application framework
Cellular manager for mobile phones/modems
Unleashing the potentials of types and templates
Scriptable database and system performance benchmark
Ada cross compiler and libraries for AVR µCs
Relational Database Management System
JavaScript/XML engine for Apache
CodeLite: an open source, cross platform C/C++/PHP and JavaScript IDE
Simple ncurses-based text editor for your Linux terminal.
C++ CASE tool, full life cycle code generator
Cross-platform open source software for astrophotography