Alternatives and similar repositories for ltl-visualizer

Users that are interested in ltl-visualizer are comparing it to the libraries listed below

• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆49Updated 3 months ago
• appliedfm / vstyle
  A style guide for Coq
  ☆18Updated 4 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 3 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated 3 weeks ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆73Updated 6 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆33Updated 4 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated 5 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated this week
• TiarkRompf / reachability
  ☆54Updated 3 months ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆64Updated 6 months ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆62Updated 2 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated last week
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆36Updated 11 months ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆93Updated 7 months ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆80Updated 5 months ago
• jsiek / denotational_semantics
  Denotational semantics based on graph and filter models
  ☆23Updated last year
• plum-umd / cgc
  Constructive Galois connections
  ☆36Updated 7 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆47Updated 3 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆75Updated last week
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆29Updated this week
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆27Updated 2 months ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated this week
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 6 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 7 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 3 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆32Updated 6 years ago
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago