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
  ☆93Updated 7 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆75Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆83Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• barakeel / oeis-synthesis
  ☆22Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆39Updated 2 weeks ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• MathBases / MathBases
  ☆18Updated last month
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• teorth / expdb
  Exponent pair database
  ☆42Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• b-mehta / unit-fractions
  ☆15Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆272Updated this week
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated last month
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆190Updated 3 weeks ago
• teorth / symmetric_project
  ☆86Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆36Updated 2 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆244Updated last week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆61Updated last month
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year