A simple 3D framework in C++
Proof Logic : A logical framework for theorem proving
Test suite for Linux audit and related security functionality
A Directive-Based Heterogeneous Parallel Programming Framework
C++ High level framework thinked for javascript
iOS crash logs symbolicating for Windows
Neural Network Engineering Platform
a very fast full system simulator
Base infrastructure for Mac OS X application
Server side scripting language similar to ASP and PHP, but using C++.
Heterogeneous Image Processing Acceleration (HIPACC) Framework
simple event-based plugin interface to open up hardwired software
hook technology for unit test framework
Containment Domains are a framework for computational resiliency