Tool support for the Z formal notation
Animation engine for explanatory math videos
Highly Optimized Graphics Math (glm) for C
Computer Algebra System written in Common Lisp
System dynamics program with additional features for economics
Social Network Analysis and Visualization software
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
Accumulation of mathematical knowledge, matrix numerical optimization
Query and plot data in seconds (Excel, CSV, SQL and NoSQL DBMS)
Suite of community detection algorithms based on Modularity
BAYESIAN INFERENCE OF METABOLIC DIVERGENCE AMONG MICROBIAL COMMUNITIES
OpenCV wrapper for sba library
Dynamic Multispecies Metabolic Modeling framework