Content of Online Encyclopedia of Integer Sequences (OEIS)
☆119Mar 23, 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:
- Java implementations of sequences in the OEIS☆71Updated 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
- 🤗 implementation of OEIS sequences (A100000-A199999)☆28Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Newcomer friendly project implementing a few oeis.org sequences.☆27Nov 7, 2025Updated 4 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- 🤗 implementation of OEIS sequences (A300000-)☆32Updated this week
- Unofficial mirror of GMP development branch☆21Feb 4, 2025Updated last year
- Runtime and miner for the LODA language written in C++☆28Mar 18, 2026Updated last week
- ☆12May 21, 2024Updated last year
- Encyclopedia of Combinatorial Structures☆16Jun 27, 2018Updated 7 years ago
- Julia bindings for the FLINT number theory C library☆216Updated this week
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The new Reactome REST API to access the data☆11Mar 13, 2026Updated last week
- Book on Dynamical Systems Approaches to Infectious Disease Epidemiology☆10Nov 30, 2021Updated 4 years ago
- Code to automatically prove or verify estimates in analysis☆330Jul 1, 2025Updated 8 months ago
- Implementation of Google Brain's 2017 research paper. Attention is all you need! Trained and validated on Opus Books dataset☆21Jul 23, 2025Updated 8 months ago
- Macsyma☆15Jan 23, 2018Updated 8 years ago
- 2026 SWE internship & new graduate job list updated daily☆27Oct 26, 2025Updated 4 months ago
- An experimental evolutionary music generator that uses perfect shuffle crossover to create evolving MIDI sequences☆27Jul 1, 2025Updated 8 months ago
- Open source MIDI music☆21May 29, 2016Updated 9 years ago
- What if we replace the Convolution Layers inside GANs (Generative Adversarial Networks) with Cellular Automata. And train the Cellular Au…☆22Jul 2, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- allowing R users to work with dlib through Rcpp☆13Apr 11, 2018Updated 7 years ago
- Objective Develop a web-based chatbot application where users upload resumes (PDF or image). The system should: 1. Extract resume content…☆20Sep 30, 2025Updated 5 months ago
- Automatically exported from code.google.com/p/sympycore☆11Aug 5, 2015Updated 10 years ago
- ☆21Feb 28, 2026Updated 3 weeks ago
- Simply Typed Lambda Calculus with de Bruijn indices☆17Mar 20, 2025Updated last year
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago
- ☆15Apr 17, 2023Updated 2 years ago
- A bit mixer, pseudo random number generator and a hash function.☆30Apr 19, 2022Updated 3 years ago
- ML Sys + Hardware/Software co-design, Awesome List of AI Engineering topics and learning resources. Learn basics to advanced topics to be…☆30Jan 22, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generate the digits of Pi using a streaming algorithm☆13Jun 30, 2015Updated 10 years ago
- Recursively browse the filesystem through Openbox pipe menus (with icons).☆13Dec 21, 2025Updated 3 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago
- Examples, grammar, highlight, autocomplete, etc. files for some programming / scripting languages.☆11Aug 10, 2020Updated 5 years ago
- Portfolio of an portugal's champion in the exhilarating world of horse riding.☆24Sep 22, 2024Updated last year