A static source code analyser for Fortran 90 and C++
A graphical Finite State Machine (FSM) designer.
Multithreaded N-Point Gravity Simulation for PC and Android
State Dependency deconstructor and mapper for C source code.
An automated controller testing tool
Library with classes for common programming issues.
A Free and Open Source Java Framework for Multiobjective Optimization
Shortest Path Navigator with Directions and Distance
Java graph library
Petri net framework for security related modeling and reasoning.
Bit level lambda continuations and nothing else - Queue automata
Firmware files converter from HEX to BINX
An exploration utility to view, render and record TMC-patterns
REDundant STRINg Generator
A library for the control of motors using the TI DRV8833 IC
Profiler for Oracle extended SQL trace files
Detection of Perfect and Imperfect Inverted Repeats