nikomatsakis / rust-design-axiomsView external linksLinks
Discovering and describing Rust's design axioms
☆79Apr 9, 2024Updated last year
Alternatives and similar repositories for rust-design-axioms
Users that are interested in rust-design-axioms are comparing it to the libraries listed below
Sorting:
- Experiments with structured concurrency in Rust☆410Jul 24, 2024Updated last year
- 🐱concat! with support for const variables and expressions☆47Nov 18, 2025Updated 2 months ago
- Search for secrets left in git history☆14Sep 22, 2018Updated 7 years ago
- A fork of tforgione's awesome md2pdf library, catered for mdbook.☆14Nov 4, 2021Updated 4 years ago
- HUB75 driver for RP2040. Uses PIO and DMA to achieve high refresh rate and high color depth with zero CPU overhead.☆15Feb 3, 2026Updated last week
- Example implementation of stack tokens for Rust☆33Nov 23, 2022Updated 3 years ago
- A vulkan implementation of the bloom method presented in Next Generation Post Processing in Call of Duty: Advanced Warfare.☆16Oct 25, 2021Updated 4 years ago
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆67Dec 11, 2025Updated 2 months ago
- A Vec That Has a Smaller size_of☆155Oct 2, 2025Updated 4 months ago
- A Rust crate for parsing HID Report Descriptors.☆42Dec 16, 2025Updated 2 months ago
- Google Scholar is a trans-exclusionary site. Don't use it. Help us demand change.☆23Jun 17, 2024Updated last year
- Anonymous enum and checked exception for Rust.☆23Apr 4, 2021Updated 4 years ago
- Only argument parsing! Nothing more.☆18Feb 22, 2024Updated last year
- A simple, streaming XML writer.☆25Oct 25, 2023Updated 2 years ago
- Floating point types which can be safely shared between threads☆22Aug 31, 2024Updated last year
- ☆43Aug 20, 2023Updated 2 years ago
- A simple air quality measurement system☆23Feb 11, 2024Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated last week
- A precise specification for "Rust lite / MIR plus"☆963Jan 28, 2026Updated 2 weeks ago
- Simple Rust cross-compilation using custom Docker images☆62Jun 8, 2025Updated 8 months ago
- Experimental autogenerated traits for operations between arbitrary structs (in the same crate).☆20Nov 22, 2025Updated 2 months ago
- Rust implementation of the image matching algorithm described by Wong, Bern, and Goldberg☆21Oct 22, 2024Updated last year
- A sandboxed local task runner for Rust☆21Sep 20, 2024Updated last year
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- Optimized engine for Rust. It is a lighter and faster asynchronous library than tokio-rs, async-std, may, and even smol.☆28Nov 3, 2025Updated 3 months ago
- Cross-platform atomic wait and wake (aka futex) functionality for Rust.☆141Jun 5, 2025Updated 8 months ago
- Graceful shutdown util for Rust projects using the Tokio Async runtime.☆143Sep 30, 2024Updated last year
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- A spell-checker written in Rust☆23Jan 14, 2022Updated 4 years ago
- Incremental garbage collection from safe Rust☆809Feb 9, 2026Updated last week
- 🔥 Time Travel Visual Debugger for Rust☆1,673Apr 3, 2025Updated 10 months ago
- What if we could check declarative macros before using them?☆51Nov 3, 2024Updated last year
- Hello Embedded!☆23Feb 29, 2024Updated last year
- A self-generating WebAssembly parser & serializer in Rust.☆28Feb 7, 2026Updated last week
- A fuzzing library for rust hardware drivers☆27Nov 20, 2025Updated 2 months ago
- A minimal async executor that lets you block on a future☆652Nov 19, 2025Updated 2 months ago
- A next-generation test runner for Rust.☆2,816Updated this week
- An email alias and account management interface for self-hosted mailservers☆23Jan 2, 2026Updated last month
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated last year