Alternatives and similar repositories for mlang:

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

• digama0 / mm0
  Metamath Zero specification language
  ☆331Updated 2 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 7 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆159Updated 3 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆295Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆294Updated this week
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆70Updated 4 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆284Updated 3 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆166Updated 6 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆95Updated last year
• HnimNart / deeplearning
  ☆52Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆170Updated last month
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆162Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆211Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆362Updated 2 weeks ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆662Updated 2 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆73Updated last year
• engboris / stellogen
  A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
  ☆89Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆221Updated last year
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆132Updated 8 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago