kushti / flpLinks
Formalization of FLP Impossibility Theorem
☆18Updated 9 years ago
Alternatives and similar repositories for flp
Users that are interested in flp are comparing it to the libraries listed below
Sorting:
- authenticated data structures, generically☆54Updated 8 years ago
- Session types for asynchronous networking☆20Updated 9 years ago
- A Formal Semantics of WebAssembly in K☆82Updated last month
- ☆14Updated 9 years ago
- ☆59Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Updated 7 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- Refu language☆21Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- ☆23Updated 13 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.☆115Updated 9 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- An automated theorem prover for first order logic.☆29Updated 8 years ago
- Model-based testing tool☆60Updated 5 months ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- High level Lean 4 FFI for Rust☆14Updated last year