rsaarelm / urbit-rsLinks
☆11Updated 8 years ago
Alternatives and similar repositories for urbit-rs
Users that are interested in urbit-rs are comparing it to the libraries listed below
Sorting:
- ☆14Updated 9 years ago
- Session types for asynchronous networking☆20Updated 9 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 4 months ago
- Implementation of the Rlay decentralized ontology format☆12Updated 4 years ago
- LibP2P networking library written in Rust☆12Updated 3 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- JS affine☆66Updated 4 years ago
- An enrichment of Rust's core language to support more advanced features☆18Updated 8 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 6 years ago
- A stream that generates a merkle tree based on the incoming data.☆52Updated 4 years ago
- Haskell OverloadedStrings for Rust☆11Updated 9 years ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- ☆12Updated last year
- Buddhabrot explorer as a Progressive Web App written in Rust compiled to WebAssembly☆18Updated 7 years ago
- Proof-of-concept clay visualizer☆23Updated 2 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Implementation of the s/kademlia protocol☆9Updated 5 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- Rust web-framework for websocket based web-apps☆9Updated 7 years ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago