Verification via biSimulations of Max-Plus-Linear models
A stand-alone Java library for linear algebra and machine learning
A pure Java library for machine learning
Glycosylation Network Analysis Toolbox (GNAT)
Unifying framework 4 optimization tools