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
- The monorepo for Meson project☆12May 30, 2024Updated last year
- logging library for rayon☆17Sep 14, 2020Updated 5 years ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 7 years ago
- Mattermost and Slack webhooks in Rust.☆25Nov 18, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Jul 19, 2018Updated 7 years ago
- A generic implementation of Negamax in Rust.☆17Jan 30, 2024Updated 2 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Find common stylistic problems in english texts. Works well for technical or scientific documents.☆34Jun 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
- Rust mock type implementing io::Read & io::Write☆14Mar 5, 2019Updated 7 years ago
- Stream based PDF library☆15Aug 20, 2015Updated 10 years ago
- SecBox - Sensitive data container☆14Jul 30, 2016Updated 9 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☆37May 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Jan 25, 2016Updated 10 years ago
- Rust library to simplify making slack bots☆18Dec 11, 2016Updated 9 years ago
- ⠙⠕⠞⠊⠋⠽ / convert bytes to braille and back again☆12May 14, 2018Updated 8 years ago
- ☆27Apr 7, 2017Updated 9 years ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 10 years ago
- Substrate pallet that enables parachains to issue rewards to crowdloan contributors in parachain-native tokens.☆11Jul 25, 2025Updated 9 months ago
- ☆15Nov 28, 2016Updated 9 years ago
- cats. cats everywhere.☆11Apr 16, 2015Updated 11 years ago
- ☆16Dec 8, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Dec 30, 2016Updated 9 years ago
- Run all examples for any locally cloned rust crate☆14Apr 23, 2025Updated last year
- Timer facilities for Tokio based on OS-level primitives.☆14May 7, 2020Updated 6 years ago
- Small Rust library for handling multi-dimensional data☆13Feb 9, 2021Updated 5 years ago
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 7 years ago
- A macro to generate Rust actors☆46Jan 14, 2021Updated 5 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year