An enrichment of Rust's core language to support more advanced features
☆22May 25, 2017Updated 8 years ago
Alternatives and similar repositories for rust-papers
Users that are interested in rust-papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Initial rallying point for ideas and PRs around solving discoverability of Rust crates for production use.☆29Feb 15, 2017Updated 9 years ago
- Stateful, a Rust Control Flow Plugin☆108Apr 4, 2017Updated 8 years ago
- logging library for rayon☆17Sep 14, 2020Updated 5 years ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 6 years ago
- Mattermost and Slack webhooks in Rust.☆25Nov 18, 2016Updated 9 years ago
- ☆11Jul 19, 2018Updated 7 years ago
- a lockfree rust lib implement by practical hazard-pointer☆23Feb 17, 2022Updated 4 years ago
- A generic implementation of Negamax in Rust.☆17Jan 30, 2024Updated 2 years ago
- Streaming HTTP parser for Rust, based on nodejs/http-parser☆49Jul 3, 2019Updated 6 years ago
- Exposing Lua string patterns to Rust☆29Nov 21, 2022Updated 3 years ago
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Jun 10, 2014Updated 11 years ago
- Treat application routes (URL path + query string) as strongly-typed Rust structs☆13Jun 16, 2019Updated 6 years ago
- A simple unit system for Rust☆11Feb 24, 2017Updated 9 years ago
- Run a function after some data was mutably borrowed☆30Oct 1, 2020Updated 5 years ago
- bytevec: A Rust serialization library that uses byte vectors☆42Sep 11, 2022Updated 3 years ago
- Find common stylistic problems in english texts. Works well for technical or scientific documents.☆33Jun 12, 2016Updated 9 years ago
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- Async datagram traits☆11Aug 28, 2019Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 9 years ago
- Rust mock type implementing io::Read & io::Write☆14Mar 5, 2019Updated 7 years ago
- Over-engineered tool for symlinking dotfiles☆37Nov 13, 2013Updated 12 years ago
- SecBox - Sensitive data container☆14Jul 30, 2016Updated 9 years ago
- Stream based PDF library☆15Aug 20, 2015Updated 10 years ago
- Async readiness traits☆11May 15, 2019Updated 6 years ago
- An experimental game engine written in Rust.☆27Sep 8, 2017Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Rust library for memory barrier☆36May 17, 2024Updated last year
- Rust library to simplify making slack bots☆18Dec 11, 2016Updated 9 years ago
- ☆11Jan 25, 2016Updated 10 years ago
- ⠙⠕⠞⠊⠋⠽ / convert bytes to braille and back again☆12May 14, 2018Updated 7 years ago
- ☆27Apr 7, 2017Updated 8 years ago
- Substrate pallet that enables parachains to issue rewards to crowdloan contributors in parachain-native tokens.☆11Jul 25, 2025Updated 7 months ago
- ☆15Nov 28, 2016Updated 9 years ago
- cats. cats everywhere.☆11Apr 16, 2015Updated 10 years ago
- Implementation of Adaptive Radix Tree in Rust☆44Feb 26, 2020Updated 6 years ago
- ☆16Dec 8, 2016Updated 9 years ago
- ☆13Dec 30, 2016Updated 9 years ago
- Run all examples for any locally cloned rust crate☆14Apr 23, 2025Updated 11 months ago