Content of Online Encyclopedia of Integer Sequences (OEIS)
β130Jul 21, 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β74Updated this week
- π€ implementation of OEIS sequences (A100000-A199999)β33Jul 11, 2026Updated last week
- A WebUI to create song covers with any RVC v2 trained AI voice from YouTube videos or audio files.β16Jan 20, 2026Updated 6 months ago
- β19Apr 6, 2026Updated 3 months ago
- β12May 21, 2024Updated 2 years ago
- 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.
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequencesβ51Feb 2, 2025Updated last year
- π€ implementation of OEIS sequences (A300000-)β40Updated this week
- Julia bindings for the FLINT number theory C libraryβ222Updated this week
- Euclidean plane and its relatives; a minimalist introduction.β20Dec 19, 2025Updated 7 months ago
- El repositorio de Mis cursosβ16Jun 5, 2026Updated last month
- The new Reactome REST API to access the dataβ11May 22, 2026Updated last month
- Official website for Department of Mathematics, University of Virginiaβ14Updated this week
- OEISη¬θ«β15Dec 17, 2018Updated 7 years ago
- β22Jan 19, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Book on Dynamical Systems Approaches to Infectious Disease Epidemiologyβ11Nov 30, 2021Updated 4 years ago
- Colorimetry library for Common Lispβ46Oct 22, 2023Updated 2 years ago
- Code to automatically prove or verify estimates in analysisβ339Jun 24, 2026Updated 3 weeks ago
- β17Jun 14, 2026Updated last month
- Automated Theorem Prover for Automatic Wordsβ21Apr 7, 2021Updated 5 years ago
- β19Apr 5, 2025Updated last year
- Library of Octave functions for continuous gravitational-wave data analysisβ12Feb 28, 2023Updated 3 years ago
- command line fractal renderingβ13Mar 25, 2022Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ insteadβ61Mar 15, 2023Updated 3 years ago
- 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.
- Unofficial mirror of GMP development branchβ27Feb 4, 2025Updated last year
- Automatically exported from code.google.com/p/sympycoreβ11Aug 5, 2015Updated 10 years ago
- A lightweight sandbox environmentβ34May 17, 2026Updated 2 months ago
- Quantum information library for Maximaβ13May 10, 2018Updated 8 years ago
- JSXGraph-based dynamic and interactive images in Moodle STACK questions without even touching JavaScriptβ11Apr 9, 2026Updated 3 months ago
- π π β―οΈ π - search for videos to play from youtube.com and other platforms...β17Sep 9, 2021Updated 4 years ago
- Simply Typed Lambda Calculus with de Bruijn indicesβ19Mar 20, 2025Updated last year
- Algorithms in C++17β15Updated this week
- (at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4β29Updated this week
- 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.
- Grand Unified Discontinuous Galerkin Environment? A DG code in training.β15Updated this week
- A Windows program to search for cellular automata patternsβ16Jan 24, 2013Updated 13 years ago
- Examples, grammar, highlight, autocomplete, etc. files for some programming / scripting languages.β11Aug 10, 2020Updated 5 years ago
- Interfacing with Large Language Models (remote and local) from Lean.β29Jul 15, 2024Updated 2 years ago
- Geometric Algebra using wxMaxima (GAwxM)β13Oct 14, 2025Updated 9 months ago
- Lean 4 Metamath verifierβ24Dec 12, 2025Updated 7 months ago
- Locate local installations of the Wolfram Language.β18Jun 15, 2026Updated last month