x52dev / contractsLinks
A Rust crate that implements "design by contract" via procedural macros
☆22Updated last week
Alternatives and similar repositories for contracts
Users that are interested in contracts are comparing it to the libraries listed below
Sorting:
- A memory efficient syntax tree for language developers☆63Updated 3 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 2 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated last year
- Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.☆87Updated last week
- An alternative `std`-like implementation built on origin☆31Updated 8 months ago
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆33Updated 2 weeks ago
- Exhaustive iteration trait in Rust☆18Updated last week
- ☆45Updated 8 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- Binary size analyzer for Rust programs☆37Updated last year
- A direct replacement for `assert_eq` for unordered collections☆13Updated 3 years ago
- We have Crater At Home☆36Updated last year
- Eager evaluation of macros like `concat!` and `env!`☆41Updated 2 weeks ago
- A highly experiment portable runtime☆21Updated last year
- https://github.com/rust-lang/cargo/issues/948☆55Updated last year
- Imitate the documentation build that docs.rs would do☆62Updated 2 weeks ago
- Const TypeId and non-'static TypeId☆69Updated 2 weeks ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆50Updated last week
- ☆55Updated last year
- serde::Deserializer for proc_macro/proc_macro2::TokenStream☆73Updated last year
- This crate provides Discrete Interval Tree Data-Structures, which are based off BTreeMap☆50Updated last month
- A snapshot of name squatting on crates.io☆75Updated last year
- This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.☆152Updated last week
- Rust crate for writing repetitive code easier and faster.☆45Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆23Updated 5 months ago
- Minimalist Rust syntax parsing for procedural macros☆66Updated last year
- "Valgrind Client Request" interface for Rust programs☆18Updated 10 months ago
- Rust library for ANSI terminal colours and styles (bold, underline) - Nushell project fork☆53Updated 2 weeks ago
- ☆17Updated 3 months ago