☆17,421Oct 30, 2026Updated last week
Alternatives and similar repositories for math
Users that are interested in math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean certificates accompanying Navier-Stokes and Euler results☆2,126Sep 10, 2026Updated last month
- DeepInfer: High-performance, large-scale inference framework for DeepSeek models☆25,588Updated this week
- ☆1,298Sep 24, 2026Updated last month
- ☆466Nov 1, 2026Updated last week
- Reverse engineer anything with agents, from app behavior down to native binaries.☆441,028Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lightweight coding agent that runs in your terminal☆133,565Updated this week
- DeepSeek Harness: Everything is a Plugin.☆275,577Updated this week
- AI agents running research on single-GPU nanochat training automatically☆99,453Mar 26, 2026Updated 7 months ago
- Lean 4 programming language and theorem prover☆9,905Updated this week
- Algorithm powering the For You feed on X☆34,127Updated this week
- The math library of Lean 4☆4,443Updated this week
- The best ChatGPT that $100 can buy.☆60,356Sep 7, 2026Updated 2 months ago
- The AI that really does things. Any OS. Any Platform. The lobster way. 🦞☆394,112Updated this week
- Open Frontier Intelligence☆9,054Aug 6, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of formalized statements of conjectures in Lean.☆1,353Updated this week
- AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI☆120,606Updated this week
- ☆23,017Updated this week
- Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing rout…☆154,887Updated this week
- A high-throughput and memory-efficient inference and serving engine for LLMs☆96,513Updated this week
- The open source coding agent.☆225,209Updated this week
- The agent that grows with you☆261,405Updated this week
- Towards a More Autonomous Agent System☆20,698Updated this week
- SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.☆27,712Sep 29, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PhotoCraft: An open-source, photo editor written by scratch in pure Rust☆77,665Updated this week
- LLM inference in C/C++☆133,640Updated this week
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆318Updated this week
- A self-improving RLM agent for coding workflows and long-running autonomous tasks.☆22,615Updated this week
- Animation engine for explanatory math videos☆96,231Sep 9, 2026Updated last month
- An open-source AI agent that brings the power of Gemini directly into your terminal.☆108,764Updated this week
- OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm: https://www.npmjs.com/p…☆11,324Updated this week
- Local UI to run and train LLMs and diffusion models. Supports GGUF, MLX, Qwen3.8, DeepSeek-V4.1, MiniMax-H3, Gemma 4, FLUX and more.☆79,150Updated this week
- The simplest, fastest repository for training/finetuning medium-sized GPTs.☆64,523Nov 12, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.☆194,941Updated this week
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆170Sep 2, 2026Updated 2 months ago
- ☆91,998Jun 27, 2025Updated last year
- SGLang is a high-performance serving framework for large language models and multimodal models.☆38,560Updated this week
- Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 250,000+ scientists worldwide. 177 ready-to-use …☆56,384Updated this week
- Fastest and cheapest web agent☆24,250Updated this week
- gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI☆20,511Oct 29, 2026Updated last week