Computer Algebra System written in Common Lisp
Tool support for the Z formal notation
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
The package for statistical data analysis and applied mathematics
C++ header-only library that simulates GLSL math
External plugins for modnlp/teccli
Manual counter with the keyboard or the mouse on images
Open Source and data mining software
Agent-based simulation toolkit
Mixed Integer Linear Programming (MILP) solver.
pss5 is a polynomial system solver, under development.
Numerical models for chemical and process engineering
Open-Source Project for Credit Risk Modeling
A library to convert between braille and MathML
Cross platform GUI for Maxima
Simulated Airline Travel Solution Provider Library
TI graphing calculators <-> computer communication software