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
  ☆40Updated 6 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 6 months ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆20Updated 3 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 10 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆55Updated 2 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated 2 weeks ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆26Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆92Updated this week
• secwang / ngnkcart
  ☆15Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆132Updated this week
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated 2 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• xpqz / kbook
  [WIP] A book on the k language.
  ☆49Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• MathBases / MathBases
  ☆26Updated 2 months ago
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆37Updated 3 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆97Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆66Updated last year
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆135Updated last week