Alternatives and similar repositories for mathcestor

Users that are interested in mathcestor are comparing it to the libraries listed below

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆21Updated 5 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆101Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• MathBases / MathBases
  ☆27Updated last week
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆17Updated 4 months ago
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆26Updated 4 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated 4 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• BasisResearch / effectful
  An experimental library for metaprogramming with algebraic effects and handlers
  ☆26Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆67Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆98Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 3 weeks ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆123Updated 3 weeks ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 5 months ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago