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
  ☆10Updated 7 months ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 2 years ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆13Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 3 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• secwang / ngnkcart
  ☆15Updated last year
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆24Updated 6 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆20Updated this week
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆23Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 9 months ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated last month
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆31Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆30Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago