Alternatives and similar repositories for mlang

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

• HnimNart / deeplearning
  ☆53Updated 4 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆120Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆170Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated 3 weeks ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated last week
• hazelgrove / tylr
  a tiny tile-based editor
  ☆316Updated last month
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 9 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 6 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆65Updated 5 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆151Updated 2 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆234Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 5 years ago
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆89Updated 2 weeks ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated last week
• digama0 / mm0
  Metamath Zero specification language
  ☆365Updated last week
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 5 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆113Updated 2 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated 3 weeks ago