Alternatives and similar repositories for mlang

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

• hazelgrove / tylr
  a tiny tile-based editor
  ☆317Updated 2 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆171Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 10 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆46Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated this week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated 3 weeks ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆53Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated last month
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆115Updated 2 years ago
• HnimNart / deeplearning
  ☆53Updated 5 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated last week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆92Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 7 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 11 months ago