archmageirvine / joeis

Related projects ⓘ

Alternatives and complementary repositories for joeis

• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆61Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated last year
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆31Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated 11 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆39Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• barakeel / oeis-synthesis
  ☆22Updated 2 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆38Updated last week
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆46Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆45Updated 10 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆36Updated last month
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆180Updated 9 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆19Updated 3 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆254Updated this week
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• b-mehta / exponential-ramsey
  ☆12Updated last year
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆31Updated 6 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆34Updated 10 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• teorth / symmetric_project
  ☆84Updated 11 months ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 5 years ago