A spectral method for inferring selection from time series data
A Stata plugin for connecting Stata with other software
Java math expression parser and script interpreter
Verification via biSimulations of Max-Plus-Linear models
Welcome to the Volunteer-Based System for Research on the Internet!
Predictive Microbial Modeling plug-in for KNIME
Scheduling lockages at ship locks with several parallel lock chambers
Interval Calculator for Engineer
API for all possible cellular automata that work same at all angles
sparse and dense matrix, linear algebra, visualization, big data
Bit level lambda continuations and nothing else - Queue automata
Editor for Petri nets
Petri net framework for security related modeling and reasoning.
Calculate various aspects of the Kontinuum RPG system.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
Java toolkit for discrete Image and Signal processing.
Android API for discrete Image and Signal processing.
Timeseries databases management system
Simple physics simulation of Curvilinear and Rectilinear Motions
Java Api to manipulate simple on data of Matrix Type