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)
  ☆80Updated this week
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 9 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 2 weeks ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• mkauers / ore_algebra
  ☆31Updated last week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆39Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated 2 weeks ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 11 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• MathBases / MathBases
  ☆18Updated 3 weeks ago
• barakeel / oeis-synthesis
  ☆23Updated last month
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆206Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• teorth / symmetric_project
  ☆87Updated last year
• ericastor / rmzoo
  ☆13Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• b-mehta / unit-fractions
  ☆15Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆40Updated this week