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
  ☆91Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆105Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆88Updated 3 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 2 weeks ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆296Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆50Updated last year
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• MathBases / MathBases
  ☆25Updated last week
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆21Updated last year
• teorth / symmetric_project
  ☆93Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆208Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated this week
• eprover / eprover
  ☆153Updated last week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated last week
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆172Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month