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:
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 10 years ago
- ☆35Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- ☆23Updated 6 years ago
- cargo +nightly build☆34Updated 6 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A functional smart contract system☆6Updated 6 years ago
- An automated theorem prover for first order logic.☆29Updated 8 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- ☆11Updated 8 years ago
- ☆21Updated 7 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- Formalization of FLP Impossibility Theorem☆18Updated 9 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- A transducer library for Rust☆10Updated 9 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Updated 5 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