Computer calculations made easy
A flexible C++ implementation of spgl1
Set of tools that help CNC machinists
A Python based command line math utility.
Implementation of the GNFS for discrete logarithm problem in GF(p)
Bit level lambda continuations and nothing else - Queue automata
Mad Science
Lattice-Algorithms in MAGMA
A printed document recognition system that can deal with formula
A command line toolki to solve a problem your favorite program defines
Program using an extended Einstein notation with dense or sparse data.
Kvasir
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest