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
  ☆92Updated 3 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated last week
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆89Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆298Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆110Updated this week
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• MathBases / MathBases
  ☆26Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• ericastor / rmzoo
  ☆14Updated last year
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated 2 months ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆212Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆130Updated this week
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Updated 10 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 3 months ago
• rokicki / lifealg
  ☆14Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆265Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago