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
  ☆46Updated 2 months ago
• fedora-python / marshalparser
  Simple parser for Python marshal serialization and pyc files
  ☆18Updated 6 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆49Updated last month
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆29Updated 4 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆37Updated last month
• Battelle / vimmmex
  The vim execution engine
  ☆26Updated 7 years ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 7 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated last year
• tusharsadhwani / cursed-for
  ☆93Updated 2 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆79Updated this week
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆35Updated 5 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• ncopa / lddtree
  Fork of pax-utils' lddtree.sh
  ☆56Updated last year
• kspalaiologos / modern-rzip
  A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …
  ☆16Updated last year
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• MacSlow / cairo-clock
  analog clock drawn with vector-graphics
  ☆20Updated last year
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 4 months ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• eprover / eprover
  ☆138Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 11 months ago
• SamJakob / github-homepage
  Restore the old GitHub homepage
  ☆34Updated last year
• parttimenerd / python-dbg
  Python debugger experiments
  ☆28Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated 3 weeks ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆19Updated 3 years ago
• terhorst / rstviewer
  Live viewer for reStructuredText (RST) documents.
  ☆12Updated 4 years ago
• willhbr / tmux-compiler
  Compile Python or Brainfuck to run in tmux
  ☆14Updated last year
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆58Updated 2 months ago