Alternatives and similar repositories for oeis:

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

• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• intrinsic-propensity / turing-machine
  A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in…
  ☆77Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 5 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆71Updated this week
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 3 years ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆28Updated 3 years ago
• kspalaiologos / modern-rzip
  A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …
  ☆16Updated last year
• programble / befungee
  Befunge-93 interpreter written in Python with a debugger
  ☆19Updated 7 years ago
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆31Updated 2 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆58Updated this week
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• rocky / shell-term-background
  POSIX shell scripts to figure out if a terminal has a dark or light background
  ☆36Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆16Updated 3 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆45Updated 6 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• spbooth / xmountains
  This is my ancient X-windows sideways scrolling fractal landscape code
  ☆20Updated 6 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆10Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆34Updated 3 weeks ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆32Updated 2 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated this week
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 2 weeks ago
• linrock / 256-colors
  Reference for using xterm color codes
  ☆18Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 3 weeks ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago