Computer Algebra System written in Common Lisp
Tool support for the Z formal notation
C++ header-only library that simulates GLSL math
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
The package for statistical data analysis and applied mathematics
Portable software and data related to Mersenne numbers
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