Alternatives and similar repositories for joeis

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated 3 weeks ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆92Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆52Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆290Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• MathBases / MathBases
  ☆23Updated this week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 5 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆205Updated last year
• teorth / symmetric_project
  ☆92Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆43Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆47Updated 6 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆204Updated 2 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆181Updated 5 months ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆45Updated last year
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago