Alternatives and similar repositories for oeis

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

• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• MathBases / MathBases
  ☆25Updated last month
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆107Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated last week
• JulienPalard / oeis
  Newcomer friendly project implementing a few oeis.org sequences.
  ☆26Updated 2 weeks ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆73Updated this week
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆43Updated 3 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• InfiniteSearchSpace / Automata-Totalistic-Gen-4
  A slimmed-down, Totalistic-only version of my CA generator
  ☆29Updated 10 years ago
• stubbscroll / OEIS
  implementation of OEIS sequences
  ☆11Updated 8 years ago
• rubenvannieuwpoort / static-site-generator
  A static site generator which supports markdown with LaTeX.
  ☆18Updated 3 months ago
• Mathics3 / Mathics3-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆31Updated last month
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆15Updated 7 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆22Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated this week
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 6 months ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 3 weeks ago