OpenGL Mathematics (GLM)
A computer algebra system written in pure Python
Geometric deep learning extension library for PyTorch
A cross-platform statistical package for econometric analysis
Numerical and Symbolic Math Tool
Gap.app is a frontend and distribution for GAP on macOS
Open Source and data mining software
A collection of machine-checkend mathematical proofs
Numerical models for chemical and process engineering
Heterogeneous Software Development Accelerated
Computer calculations made easy
Bit level lambda continuations and nothing else - Queue automata
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
High quality fast "true random" number generator (shuffling) for JS
A general recommender system with basic models and MRA
simple chess app
JBernstein: Exploration techniques for non-linear constraint checking
proof verifier for mathematical proofs and documentation generator