A static source code analyser for Fortran 90 and C++
Code generation from UML to any language (Java, Objective-C, PHP...)
a Human and Artificial Intelligence Network
arduino bari3 (IDE) for programming arduino with arabic language
A graphical Finite State Machine (FSM) designer.
Extensible Brainwave Entrainment library for Java
An "Alternative IO" layer.
Multithreaded N-Point Gravity Simulation for PC and Android
State Dependency deconstructor and mapper for C source code.
A Free and Open Source Java Framework for Multiobjective Optimization
Multithreaded scripting language
Smith-Waterman long DNA sequence alignment on Xeon Phi clusters
Pre-configured Linux .OVA images
Petri net framework for security related modeling and reasoning.
Bit level lambda continuations and nothing else - Queue automata