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)
  ☆84Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• MathBases / MathBases
  ☆22Updated 2 weeks ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated 3 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆43Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated 3 weeks ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• edemaine / topp
  The Open Problems Project
  ☆35Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆72Updated last month
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 2 months ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago