Alternatives and similar repositories for oeis

Users that are interested in oeis are comparing it to the libraries listed below

• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆47Updated 4 months ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆21Updated this week
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆37Updated 2 months ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆35Updated 6 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆83Updated this week
• sagemath / memory_allocator
  Cython extension class to allocate memory. Source repository for https://pypi.org/project/memory-allocator/
  ☆9Updated last year
• primo-ppcg / BF-Crunch
  ☆11Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• rrthomas / rpl
  intelligent recursive search/replace utility
  ☆18Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 5 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• bczsalba / sipedon
  An interactive aquarium for your terminal.
  ☆21Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• kspalaiologos / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆41Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• PyCQA / flake8-polyfill
  Project to make writing plugins across major versions of flake8 easier
  ☆12Updated last week
• dgilman / py-wikimarkup
  A MediaWiki-to-HTML parser for Python. Improved for Kitsune.
  ☆10Updated 2 years ago