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
  ☆315Updated 3 weeks ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆168Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆231Updated last week
• HnimNart / deeplearning
  ☆53Updated 3 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 5 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆307Updated this week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated last year
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 3 weeks ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆120Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆93Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆316Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆144Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆117Updated last month
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated 2 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 5 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated 10 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• nota-lang / nota
  A document language for the browser
  ☆705Updated last year
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆227Updated last year