Alternatives and similar repositories for mathcestor

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

• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 10 months ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated this week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆112Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated last week
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated last year
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated this week
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆118Updated 3 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆27Updated 11 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• MathBases / MathBases
  ☆23Updated last week
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆84Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆107Updated this week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆67Updated 3 weeks ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month