Alternatives and similar repositories for fabric

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

• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 4 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 11 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆88Updated 8 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 9 months ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated 11 months ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated last week
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• lastland / WebSpec
  ☆18Updated 8 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 weeks ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago