Local git statistics including GitHub-like contributions calendars
This dataset code generates mathematical question and answer pairs
Computer Algebra System written in Common Lisp
Tool support for the Z formal notation
Arbitrary-precision CRC calculator and algorithm finder
Evaluate math expressions from command line or in interactive session.
Social Network Analysis and Visualization software
Create charts by retrieving data from Stata on-the-fly
A textbook on informal homotopy type theory
Programmable graphical scientific calculator
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.
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
Math Expression Parser 4 Java
Java library of statistical distribution
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