A tool for finite state machine analysis and synthesis.
An advanced cross platform fuzzing framework suited to find code bugs.
Pattern-based multi/many-core parallel programming framework
C++ reflection library with Lua binding, and JSON and XML
PDF Library for Developers
Simple MT-Proto proxy
A library to easily analyse output of the Heidelberg MCTDH code
Polyhedral compiler for expressing fast and portable data algorithms
A free cross-platform editor for the DRAKON visual language.
Measuring and managing laptimes at kart-slalom races
Facilities for Object-Oriented Programming in C
ext2/3/4 library for microcontrollers
The open source grid computing solution
Eclipse-based IDE for design verification tasks
A UNIX-like kernel for the i386 architecture
A Website Builder / Creator Script to Create Website From a Text File
A lightweight and ultra-fast shadowsocks library written in C++14
Deep Learning framework for Julia
Visual Studio .vc[x]proj to CMakeLists.txt (make, Ninja ...) enabler