A flight software and embedded systems framework
The Smart Contract Programming Language
HiPS tool features to design and analyze hierarchical Petri nets
RDF Rule Engine for SASSY
32/64 bit multi-platform Ethernet S7 PLC communication suite
DirectX 8 to OpenGL wrapper for legacy apps and portability
High performance C++ library for building Wayland compositors
Programming language with expressive power and a simple implementation
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, etc.)
GUI library for games and multimedia.
UML Modeling Tool for MDD-based Analysis/Design
Software Engineering Full Life Cycle Support Tool
Integrated Development Tool
Requirements Management Tool
Software Automation Testing Tool
combination magnifier/ruler/measuring tool
An object oriented language for concurrent software development
boost::thread (and C++11 threads) extensions, e.g. active object
Encrypt Your Text documents with XOR encryption