apl-cornell / fabric
Distributed persistent programming language with secure information flow types
☆29Updated 2 months ago
Alternatives and similar repositories for fabric:
Users that are interested in fabric are comparing it to the libraries listed below
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- ☆29Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 9 months ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 7 years ago
- ☆23Updated 13 years ago
- LVC verified compiler☆57Updated 6 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Distributed Data Structures in Coq☆49Updated 11 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- A blog about Coq☆10Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Binary logical relations library for the Coq proof assistant☆21Updated 6 months ago
- ☆16Updated 6 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- The language of the future!☆72Updated last year
- A proof assistant.☆12Updated 9 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated last year
- The Spire Programming Language☆59Updated 10 years ago
- ☆38Updated 8 years ago
- ☆33Updated 10 years ago
- The Ynot Project source code.☆22Updated 10 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago