Complete tool for constructing/manipulating languages in digital form
Tools to select sequences for capture enrichment of next-gen libraries
Software for exact computing based on interval arithmetic.
ACP245 Suite: Brazil Telematics protocol implementation
A Turing Machine Simulator
Simplified interface to Leap Motion designed for art and music apps
Automatic compound splitting and semantic analysis of compounds
Physical simulation of particle movements
A simple programmable spreadsheet for learning statistics.
To envision the radiation exposure in Neutron Activation Experiments
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.
Ccide is a Decision Table preprocessor.
An object oriented C++ library for computer algebra
A Pythonic Implementation of Parsimony Inference of Phylogeny