A Frontier Mathematical Coding Agent
A computer algebra system written in pure Python
Tools for building fast, hackable, pseudospectral equation solvers
Detects usage of unsafe Rust in a Rust crate and its dependencies
Set of numeric libraries for the Go programming language
Mathematical Contest resources
AI-driven neuro-symbolic solver for high-school geometry problems
Animation engine for explanatory math videos
Python library for converting Python calculations into rendered latex
This dataset code generates mathematical question and answer pairs
Matlab toolbox for Geometry Processing
High performance ordinary differential equation (ODE)
Multi-language suite for high-performance solvers of equations
Easy and extensible benchmarking in Elixir
An efficient way to access various statistics in git repository
fast C++ library for linear algebra & scientific computing
Fast integrator of stochastic partial differential equations
Computer Algebra System written in Common Lisp
MathMod is a mathematical modeling software
Tool support for the Z formal notation
fast C++ library for GPU linear algebra & scientific computing
A shared memory parallel sparse matrix library including Sparse BLAS.
Lightweight app for visualization of Mandelbrot and Julia set