Content of Online Encyclopedia of Integer Sequences (OEIS)
☆134Oct 7, 2026Updated this week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LODA Programs for Integer Sequences☆44Sep 30, 2026Updated last week
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 2 months ago
- ☆25Apr 6, 2026Updated 6 months ago
- ☆19Apr 5, 2025Updated last year
- Code to automatically prove or verify estimates in analysis☆342Jun 24, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formalisation of the Kelley-Meka bound on Roth numbers☆30Sep 29, 2026Updated last week
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆51Feb 2, 2025Updated last year
- ☆22Jan 19, 2023Updated 3 years ago
- Try a tactic at each step in a Lean proof.☆39Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- ☆13May 21, 2024Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- computable implementation of real numbers in Lean4☆55Jul 6, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tool to analyse the import structure of lean projects.☆28Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆144Sep 28, 2026Updated last week
- Julia bindings for the FLINT number theory C library☆223Updated this week
- Unofficial mirror of GMP development branch☆31Feb 4, 2025Updated last year
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆49Oct 2, 2026Updated last week
- El repositorio de Mis cursos☆17Oct 2, 2026Updated last week
- OEIS爬虫☆15Dec 17, 2018Updated 7 years ago
- Jupyter Kernel Protocol for rust☆14May 5, 2026Updated 5 months ago
- Perl prime number module using XS/GMP☆19Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ML Benchmarks in Algebraic Combinatorics☆25Jan 15, 2026Updated 8 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆1,043Updated this week
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- ☆14Aug 15, 2024Updated 2 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- A deprecated equality saturation tactic for Lean based on egg.☆87Updated this week
- Formalizing "Proofs from THE BOOK"☆96Updated this week
- The Open Problems Project☆45Jun 19, 2025Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A formalized proof of Carleson's theorem in Lean☆113Updated this week
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- command line fractal rendering☆13Mar 25, 2022Updated 4 years ago
- Lean web editor☆154Oct 2, 2026Updated last week
- Chess in Lean 4☆39Feb 14, 2026Updated 7 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- Benchmark for undergraduate-level formal mathematics☆126Oct 14, 2024Updated last year