jHepWork was a name of the DataMelt program in 2005-20013
ntccKMC: A Kripke-structure-based model checker for ntcc
Eclipse plugin for Stochastic Pi Machine
Isotopic pattern calculator in python 2.x
Control the KSR10 Robot Arm (Velleman) through USB with Python.
Software tools for applications of simulations by iterations.
A C API for interfacing with the YEI 3-Space family of IMUs.
Ccide is a Decision Table preprocessor.
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
A Pythonic Implementation of Parsimony Inference of Phylogeny
A Python API for interfacing with the YEI 3-Space family.of IMUs.
OPC UA communication stack written in python
UML 2 Statemachine for C++ is a development framework with DSL support
RPN calculator running on Windows and Linux
The Advanced Algebraic Language.
ETHNOS - Expert Tribe in a Hybrid Network Operating System