Alternatives and similar repositories for joeis:

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

• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆74Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 7 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 7 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• b-mehta / unit-fractions
  ☆15Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆39Updated last week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 3 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 5 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• ccz181078 / Coq-BB5
  ☆190Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆173Updated 4 months ago
• teorth / expdb
  Exponent pair database
  ☆42Updated this week
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 9 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆189Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months 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
  ☆272Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated 11 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated last week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆187Updated 2 weeks ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 4 months ago