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
- JS affine☆67Updated 5 years ago
- Session types for asynchronous networking☆20Updated 9 years ago
- A transducer library for Rust☆10Updated 9 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 6 months ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Updated 8 years ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- A library which finds language features in rust code and provides resources on them.☆39Updated 7 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆75Updated 5 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 months ago
- ~talkbot, the one and only.☆12Updated 7 years ago
- LibP2P networking library written in Rust☆12Updated 3 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- D-inspired contract programming in Rust using macros☆54Updated 4 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- ☆18Updated 8 years ago
- Buddhabrot explorer as a Progressive Web App written in Rust compiled to WebAssembly☆18Updated 7 years ago
- An API into the IPFS RPC from Rust☆23Updated 8 years ago
- ☆24Updated 6 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆55Updated 10 years ago
- A hypothetical, distributed, encrypted, instant messaging protocol.☆62Updated 6 years ago
- Strace in Rust☆48Updated 3 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago