Alternatives and similar repositories for mathcestor:

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

• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆15Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 5 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆22Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆11Updated this week
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated last week
• worm-blossom / macromania
  Macro-based string templating.
  ☆21Updated 7 months ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated 11 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 3 weeks ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• eashanhatti / konna
  ☆16Updated 2 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• hellerve / mae
  maps are everything.
  ☆10Updated 3 years ago