x52dev / contractsLinks
A Rust crate that implements "design by contract" via procedural macros
☆24Updated last week
Alternatives and similar repositories for contracts
Users that are interested in contracts are comparing it to the libraries listed below
Sorting:
- A primitive for writing structural search and replace programs for rust☆31Updated 2 weeks ago
- Binary size analyzer for Rust programs☆37Updated last year
- A memory efficient syntax tree for language developers☆63Updated last month
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆35Updated 2 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.☆89Updated last month
- This crate provides Discrete Interval Tree Data-Structures, which are based off BTreeMap☆52Updated 3 months ago
- Exhaustive iteration trait in Rust☆21Updated last month
- Rust crate for writing repetitive code easier and faster.☆45Updated 3 years ago
- ☆45Updated 10 months ago
- https://github.com/rust-lang/cargo/issues/948☆55Updated last year
- Rust library for ANSI terminal colours and styles (bold, underline) - Nushell project fork☆55Updated 2 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- ☆43Updated 2 years ago
- An explicit closure with absolute seperation of the captured data from the function.☆37Updated 6 months ago
- Zero-cost specialization in generic context on stable Rust☆24Updated 7 months ago
- We have Crater At Home☆37Updated last year
- The never type (the true one!) in stable Rust.☆41Updated 6 months ago
- Use declarative macros as proc_macro attributes or derives☆151Updated 7 months ago
- An alternative `std`-like implementation built on origin☆35Updated 10 months ago
- `Debug` in rust, but only supports valid rust syntax and outputs nicely formatted using pretty-please☆42Updated last year
- Linux linker for x86 and x86-64☆31Updated 7 months ago
- An exploration of Storages☆39Updated 2 years ago
- Cargo hack manager☆64Updated last year
- Minimalist Rust syntax parsing for procedural macros☆66Updated last year
- Determine whether characters have the XID_Start or XID_Continue properties☆105Updated last month
- Lending iterators on stable Rust☆83Updated 2 years ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆119Updated 2 months ago
- Parsing and inspecting Rust literals (particularly useful for proc macros)☆50Updated 3 months ago
- Const TypeId and non-'static TypeId☆70Updated last month