Alternatives and similar repositories for ltl-visualizer

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

• jsiek / denotational_semantics
  Denotational semantics based on graph and filter models
  ☆23Updated 8 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated last year
• appliedfm / vstyle
  A style guide for Coq
  ☆18Updated 3 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated 2 weeks ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 6 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆59Updated this week
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated 3 weeks ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆45Updated 4 months ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆45Updated 3 years ago
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆22Updated 8 years ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆21Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆61Updated last year
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆32Updated 6 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆28Updated last year
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Updated 11 months 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 2 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 2 months ago
• jkoppel / ecta
  ☆36Updated last year
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆25Updated 2 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆26Updated 3 months ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆76Updated last week
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆31Updated 4 years ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 6 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆40Updated 4 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆28Updated last year