Alternatives and similar repositories for pbt-frameworks:

Users that are interested in pbt-frameworks are comparing it to the libraries listed below

• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 10 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated last year
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆30Updated 4 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated last year
• TiarkRompf / reachability
  ☆46Updated last month
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 3 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last month
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated last week
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆84Updated 3 weeks ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated last month
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated 2 weeks ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆44Updated last month
• rocq-community / metaprogramming-rosetta-stone
  A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…
  ☆17Updated last year
• fetburner / coq-dijkstra
  A Verified Implementation of Dijkstra's Algorithm
  ☆18Updated 4 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 2 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated last week
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆26Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated this week
• volodeyka / trust-coq
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Updated 3 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago