rsaarelm / urbit-rs
☆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
- ☆14Updated 8 years ago
- Session types for asynchronous networking☆20Updated 9 years ago
- ~talkbot, the one and only.☆12Updated 6 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Updated 4 years ago
- JS affine☆66Updated 4 years ago
- GNUnet bindings for Rust☆15Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- An API into the IPFS RPC from Rust☆23Updated 7 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.☆22Updated 6 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- A Rust implementation of Plumtree algorithm☆28Updated last month
- A transducer library for Rust☆10Updated 8 years ago
- ☆23Updated 6 years ago
- Buddhabrot explorer as a Progressive Web App written in Rust compiled to WebAssembly☆18Updated 7 years ago
- Experiment to get k-combinations working as a const fn☆13Updated 3 years ago
- A fast, brute force, automatic theorem prover for first order logic☆39Updated 4 months ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Updated 5 years ago
- a password manager for hermits☆30Updated 6 years ago
- Implementation of the Rlay decentralized ontology format☆12Updated 4 years ago
- parallel iterator consumers for rust☆12Updated 6 years ago
- Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.☆24Updated 3 years ago
- An Algebraic, Executable Ur Machine☆36Updated 6 years ago
- Haskell OverloadedStrings for Rust☆11Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Updated 7 years ago
- A linear solver designed to be easy to use with Rust enums.☆32Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago