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 7 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆65Updated 5 months ago
• shashi / APL.jl
  a pure julia APL implementation that gets mostly "compiled out"
  ☆66Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆77Updated 6 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• MathBases / MathBases
  ☆27Updated 2 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆102Updated 2 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆66Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆71Updated last week
• idaks / PW-explorer
  ☆16Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆94Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆39Updated 8 months ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• vmchale / apple
  Apple array system
  ☆68Updated last week
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆20Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆24Updated 2 months ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆66Updated last year
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated 3 months ago