State Dependency deconstructor and mapper for C source code.
An object oriented language for concurrent software development
Generator for strategy pattern code in Java
Enhanced Korat supports GUI, FSM, JUNG and JSON.
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Profiler for Oracle extended SQL trace files
Simple, flexible tours for your app
Library of Approximate Adders
Automatic recycling of IBM Domino Java objects
boost::thread (and C++11 threads) extensions, e.g. active object
DragonBones TypeScript / JavaScript Runtime
Visualization of Java thread dumps
A simple micro-library for defining and dispatching keyboard shortcuts
C++ inline state machine library
Statechart implementation in JavaScript.
A power tool to debug core dump, memory corruption, optimized code.
Variety of angular demos
Rejection-based stochastic simulation algorithm (RSSA)
The base libraries of OSs