Open-Source Math & AI Repositories

WMX567/Learning-Resources

A collection of books/notes for Math and Algorithm study (files available)

View repository 143 37

Python GPL-3.0

SINTEF/Splipy

Spline modelling made easy.

View repository 116 23

Python NOASSERTION

Dicklesworthstone/model_guided_research

Systematic investigation of 11 exotic math frameworks (Lie groups, tropical algebra, p-adic numbers, etc.) applied to deep learning, with dual JAX and PyTorch i…

View repository 116 15

Python Apache-2.0

leanprover-community/LeanProject

A template for blueprint-driven formalization projects in Lean.

View repository 112 18

Nim MIT

TheAlgorithms/Nim

Collection of various algorithms implemented in Nim for educational purposes.

View repository 109 31

TeX

iblech/internal-methods

Notes on how to use the internal language of toposes in algebraic geometry

View repository 64 3

Java

qntlb/numerical-methods-lecture

Numerical Methods Lecture: This repository contains the material created during the lecture Numerical Methods for Mathematical Finance.

View repository 56 12

Rust Apache-2.0

cool-japan/oxieml

OxiEML - A Pure Rust crate that implements the EML operator eml(x, y) = exp(x) - ln(y) and builds uniform binary trees expressing all elementary functions using…

View repository 43 5

Rust Apache-2.0

Apich-Organization/rssn

RSSN is an open-source project building high-performance, safe, Rust-native alternatives to scientific computing libraries like NumPy/SymPy. Licensed under Apac…

View repository 32 4

Python BSD-3-Clause

mrsonandrade/pyswarming

A research toolkit for Swarm Robotics.

View repository 29 5

TeX MIT

no-way-labs/residue

Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents under a structured explo…

View repository 26 3

Java

surajsgh/data-structures-and-algorithms

👨‍💻 💪 A Repository of General Mathematical Programs, Bits Manipulation, Recursion and 'Data Structures and Algorithms'.

View repository 23 7