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
  ☆50Updated 8 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆43Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆30Updated 4 years ago
• lyxal / Minefriff
  A minecraft esolang
  ☆12Updated 6 years ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆22Updated last month
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆37Updated this week
• c00kiemon5ter / ioccc-obfuscated-c-contest
  IOCCC International Obfuscated C code contest entries
  ☆143Updated 6 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 3 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆69Updated 3 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆56Updated 7 months ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆89Updated 6 years ago
• graue / esofiles
  The Esoteric File Archive
  ☆104Updated last year
• ostracod / breadtext
  Slim text editor inspired by Vim.
  ☆22Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last year
• elikaski / BF-it
  A C-like language to Brainfuck compiler, written in Python
  ☆133Updated 10 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆104Updated this week
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆87Updated 2 months ago
• gleitz / npiet
  a language where the programs are works of modern art (updated for OSX)
  ☆32Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆69Updated 10 years ago
• ciphergoth / pylambdac
  A lambda calculus interpreter in Python
  ☆20Updated 4 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• pfalcon / re1.5
  re1, the unbloated regexp engine by Russ Cox, elaborated to be useful for real-world applications
  ☆47Updated 6 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago