Open-Source Math & AI Repositories

TypeScript NOASSERTION

sagemathinc/cocalc

CoCalc: Collaborative Calculation in the Cloud

View repository 1288 230

Rocq Prover NOASSERTION

UniMath/UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

View repository 1014 187

C++ NOASSERTION

mariuszgromada/MathParser.org-mXparser

Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more.…

View repository 953 157

Python NOASSERTION

Axelrod-Python/Axelrod

A research tool for the Iterated Prisoner's Dilemma

View repository 838 288

C GPL-3.0

jarun/bcal

:1234: Bits, bytes and general-purpose calculator

View repository 697 40

C++ BSD-2-Clause

beltoforion/muparser

muparser is a fast math parser library for C/C++ with (optional) OpenMP support.

View repository 526 141

HTML Unlicense

akalenuk/wordsandbuttons

A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.

View repository 502 17

Mojo Apache-2.0

Mojo-Numerics-and-Algorithms-group/NuMojo

NuMojo is a library for numerical computing in Mojo 🔥 similar to numpy in Python.

View repository 222 25

Markdown Unlicense

pelmesh619/itmo_conspects

Конспекты по разным предметам первого потока ИСy27 университета ИТМО

View repository 189 13

Python Apache-2.0

frenzymath/Archon

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

View repository 180 33

Rocq Prover MIT

rocq-community/math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

View repository 168 42

C# Apache-2.0

MrUnbelievable92/MaxMath

A successor to the SIMD math library Unity.Mathematics, extending it to all C# numeric types while adding many new types and functions. Written entirely with ha…

View repository 162 14