x52dev / contractsLinks
A Rust crate that implements "design by contract" via procedural macros
☆16Updated 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☆32Updated 2 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 11 months ago
- An alternative `std`-like implementation built on origin☆31Updated 7 months ago
- A direct replacement for `assert_eq` for unordered collections☆13Updated 3 years ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- ☆23Updated last year
- Linked Atomic Random Insert Vector: a thread-safe, self-memory-managed vector with no guaranteed sequential insert.☆58Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆23Updated 4 months ago
- `Debug` in rust, but only supports valid rust syntax and outputs nicely formatted using pretty-please☆43Updated last year
- Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.☆85Updated last month
- ☆15Updated last month
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆52Updated 2 weeks ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Updated 2 years ago
- Support for compiling C programs with Eyra☆13Updated 11 months ago
- We have Crater At Home☆36Updated 11 months ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- A hash table with strong order and fast iteration; access items by key or sequence index☆51Updated 3 weeks ago
- ☆55Updated last year
- Serde serializer for generating Starlark build targets☆69Updated 2 weeks ago
- Parsing and inspecting Rust literals (particularly useful for proc macros)☆46Updated 2 months ago
- Re-usable CLI flags for `cargo` plugins☆40Updated this week
- Hash trait that is object-safe☆34Updated 2 weeks ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆105Updated last month
- ☆44Updated 6 months ago
- Trustfall adapter for querying rustdoc☆17Updated 2 weeks ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆29Updated last month
- Lock ordering enforcement at compile time in Rust☆17Updated 6 months ago
- Cargo API written in Paris☆52Updated last week
- An immutable data structure with O(1) append, prepend, and concat time complexity.☆32Updated last week
- Exhaustive iteration trait in Rust☆16Updated this week