nikomatsakis / rust-design-axiomsLinks
Discovering and describing Rust's design axioms
☆78Updated 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:
- A Rust code linter☆212Updated last year
- Track and query Cargo dependency graphs.☆241Updated this week
- Web application to render a diff between Rust crate versions. Implemented in Yew, runs fully in the browser as WebAssembly.☆134Updated 5 months ago
- A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`☆128Updated last year
- Snapshot testing for a herd of CLI tests☆161Updated last week
- Utility wrapper to send non send types to other threads safely☆186Updated 8 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆264Updated 2 weeks ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆175Updated 7 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Recipes for avoiding bounds checks in Rust, without unsafe!☆131Updated 2 years ago
- Lazy formatting utility macro for rust☆129Updated 2 years ago
- A concurrent, append-only vector.☆206Updated 3 months ago
- Rust microbenchmarking harness based on paired-testing methodology☆144Updated last month
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Simple refinement types for Rust; parse, don't validate!☆76Updated last month
- Simple async reactor and executor for rust☆78Updated 8 months ago
- ☆94Updated 2 years ago
- Rust Project Goals tracker☆99Updated 2 weeks ago
- ☆76Updated last month
- A cargo subcommand that extends cargo's capabilities when it comes to code generation.☆62Updated 4 months ago
- Public repository for the Rust keyword generics initiative☆109Updated last year
- Program startup and thread support written in Rust☆196Updated last month
- Utilities for working with impl traits in Rust.☆117Updated 10 months ago
- Creates graphviz dependency graphs for Rust projects that use Cargo☆204Updated 5 months 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…☆65Updated 2 months ago
- cargo-add command to make dependencies into dylibs☆104Updated 3 years ago
- Parse JSON file at compile time and embed as serde_json::Value☆32Updated 2 weeks ago
- PEG trace visualizer☆92Updated 2 months ago
- Experiments with structured concurrency in Rust☆394Updated last year
- Define your own PhantomData☆158Updated 2 weeks ago