Content of Online Encyclopedia of Integer Sequences (OEIS)
☆118Mar 3, 2026Updated this week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- Java implementations of sequences in the OEIS☆70Updated this week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Oct 2, 2023Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- ☆25Jan 27, 2026Updated last month
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- LODA Programs for Integer Sequences☆38Updated this week
- Runtime and miner for the LODA language written in C++☆28Feb 19, 2026Updated last week
- The new Reactome REST API to access the data☆11Updated this week
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- Jupyter Kernel Protocol for rust☆14Feb 19, 2026Updated last week
- Unofficial mirror of GMP development branch☆21Feb 4, 2025Updated last year
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 2 months ago
- ECM Factorization on CUDA-GPUs☆14Sep 29, 2020Updated 5 years ago
- 🤗 implementation of OEIS sequences (A300000-)☆31Updated this week
- Generate the digits of Pi using a streaming algorithm☆13Jun 30, 2015Updated 10 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- OEIS爬虫☆14Dec 17, 2018Updated 7 years ago
- Encyclopedia of Combinatorial Structures☆15Jun 27, 2018Updated 7 years ago
- A micro framework for controlling ILDA show lasers with JavaScript/TypeScript over WebSockets, with a focus on delivering a stream of poi…☆20Apr 1, 2024Updated last year
- An implementation of BBP through Bellard's formula to calculate the nth digit of Pi.☆13Jun 11, 2013Updated 12 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 11 months ago
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago
- Exhaustive list of all foods & food items in the world. Crawled from Wikipedia.☆19Mar 18, 2017Updated 8 years ago
- ☆19Feb 19, 2026Updated last week
- ☆22Jan 19, 2023Updated 3 years ago
- Automated Theorem Prover for Automatic Words☆21Apr 7, 2021Updated 4 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Julia bindings for the FLINT number theory C library☆215Updated this week
- Source Code for 'Pointers in C Programming' by Thomas Mailund☆23Apr 26, 2021Updated 4 years ago
- Circuits for functions of interest to cryptography☆28Jan 31, 2024Updated 2 years ago
- Bounds on divsteps iterations in safegcd☆57Sep 30, 2024Updated last year
- GPL Number Field Sieve implementation☆36Apr 24, 2011Updated 14 years ago
- Retrieve information from typeshed and other typing stubs☆30Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Jun 15, 2017Updated 8 years ago
- El repositorio de Mis cursos☆18Updated this week
- Notebooks and other course materials for Emory QTM 340 (Fall 2022)☆12Dec 13, 2022Updated 3 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Feb 26, 2026Updated last week
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆44Mar 31, 2025Updated 11 months ago