Local git statistics including GitHub-like contributions calendars
This dataset code generates mathematical question and answer pairs
Computer Algebra System written in Common Lisp
Framework for numerical computations, data analysis and visualisation
Tool support for the Z formal notation
Social Network Analysis and Visualization software
OmicsSuite: a suite for multi-omics analysis and visualization.
Create charts by retrieving data from Stata on-the-fly
A textbook on informal homotopy type theory
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
A computer algebra system for research in combinatorial game theory.
A (Strict)FastMath class with 1e-15ish accuracy.
LTFAT is a Matlab/Octave Fourier, time-frequency and wavelet toolbox.
Cross platform GUI for Maxima
TI graphing calculators <-> computer communication software
Soduku Solver solves 6x6 soduku of easy and medium level.
Fast and more random implementations of java.util.Random.
Computer calculations made easy
A package for Isogeometric Analysis in Octave and Matlab
Global nonlinear optimization with automatic differentiation