Verification via biSimulations of Max-Plus-Linear models
An Open-Source Library for Low-Power Approximate Computing Modules
PHP bindings for the cross-platform GUI library wxWidgets.
Macro/Micro Magnetic Simulator
2D Controls Library using OpenTK/GL (Linux)
C++98 can be a functional language
Automatic detection of Even-Releated Potentials
Math Processor is a general purpose programable math engine.
(C#, 3D RAD) Creates psychological profile of the user
VisualStudio plugin for static analysis of C/C++ code.
Jade is a cross-platform diagram editor built on the Qt framework.
Music player - endlessly plays your music
Simple C Checker to validate if formatted correctly before compiling
Original C-IL2P
C++ game libraries plus server.
TurboSphere is an easy to learn and powerful JS based game engine.
Symbolic Lambda Calculus
C++ Framework for slot machine games