ebfull / nemoLinks
Session types for asynchronous networking
☆20Updated 9 years ago
Alternatives and similar repositories for nemo
Users that are interested in nemo are comparing it to the libraries listed below
Sorting:
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- ☆23Updated 6 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago
- A transducer library for Rust☆10Updated 9 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- cargo +nightly build☆34Updated 6 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- rust verification condition generator☆96Updated 8 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- [INACTIVE] const-time Rust experiment☆97Updated 9 years ago
- Verification working group☆104Updated 6 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 10 years ago
- Baking rumprun images with cargo☆12Updated 9 years ago
- GNUnet bindings for Rust☆15Updated 7 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- ☆16Updated 9 years ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 4 years ago
- Conduit-like data processing library for Rust☆54Updated 9 years ago