A graphical Finite State Machine (FSM) designer.
An "Alternative IO" layer.
Multithreaded N-Point Gravity Simulation for PC and Android
State Dependency deconstructor and mapper for C source code.
Smith-Waterman long DNA sequence alignment on Xeon Phi clusters
Library with classes for common programming issues.
A Free and Open Source Java Framework for Multiobjective Optimization
Java graph library
Petri net framework for security related modeling and reasoning.
Bit level lambda continuations and nothing else - Queue automata
DPCM DT automates the development of WSN applications
Command line application to generate contact matrix from proteins (3D)
REDundant STRINg Generator
A library for the control of motors using the TI DRV8833 IC
Travel Market Simulator
Detection of Perfect and Imperfect Inverted Repeats
Profiler for Oracle extended SQL trace files