Verification via biSimulations of Max-Plus-Linear models
A Toolbox for nonstationary Gabor transforms
Octave Eclipse GUI
Dynamic Multispecies Metabolic Modeling framework
Library for working with polyhedra
Mini-projets dealing with numerical physics.
A library for handling vectors, tensors, and more.