ebfull / nemoLinks
Session types for asynchronous networking
☆21Updated 10 years ago
Alternatives and similar repositories for nemo
Users that are interested in nemo are comparing it to the libraries listed below
Sorting:
- A general-purpose lens library for Rust.☆30Updated 9 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- A transducer library for Rust☆10Updated 9 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 11 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 9 years ago
- ☆24Updated 7 years ago
- GNUnet bindings for Rust☆15Updated 7 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- rust verification condition generator☆96Updated 9 years ago
- No longer maintained☆38Updated 8 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago
- Typed λ-calculus in Rust☆30Updated 2 years ago
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 11 months ago
- Helpers for clearing sensitive data on the stack and heap☆53Updated 7 months ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 8 years ago
- Merkle tree in Rust☆134Updated last year
- ☆35Updated 7 years ago
- Concurrent Functional Reactive Programming for Rust☆16Updated 9 years ago
- Test the downstream impact of Rust crate changes before publishing☆59Updated 7 years ago
- An API into the IPFS RPC from Rust☆23Updated 8 years ago
- 3rd party BOLOS SDK for Rust☆23Updated 7 years ago
- Fujisaki-Suzuki Ring Signatures in Rust☆19Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- Rust XDR interoperability library and codegen☆16Updated 3 years ago
- Collections Library for Adapton, in Rust☆13Updated 8 years ago