kushti / flpLinks
Formalization of FLP Impossibility Theorem
☆18Updated 10 years ago
Alternatives and similar repositories for flp
Users that are interested in flp are comparing it to the libraries listed below
Sorting:
- ☆59Updated 3 years ago
- authenticated data structures, generically☆54Updated 9 years ago
- Session types for asynchronous networking☆21Updated 10 years ago
- A DSL for describing and implementing communication protocols☆84Updated 11 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Updated 8 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- A Formal Semantics of WebAssembly in K☆85Updated last week
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated 2 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Updated 6 years ago
- A minimal decentralized computer.☆117Updated 4 years ago
- SAW front end for the MIR language from rustc☆36Updated 5 years ago
- A proof assistant.☆12Updated 9 years ago
- Noether programming language☆130Updated 8 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- CPU Building Tutorial☆51Updated 8 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆73Updated 9 years ago
- Standalone Ethereum Virtual Machine☆52Updated 4 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 11 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago