ErichDonGubler / adhesion-rs
D-inspired contract programming in Rust using macros
☆54Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for adhesion-rs
- A fast map for when one doesn't care about choosing the keys.☆26Updated this week
- Dynamically query a type-erased object for any trait implementation☆65Updated 2 years ago
- A crate with indexed arenas with small memory footprint☆76Updated 2 months ago
- A very small GC in Rust, with a safe API☆61Updated 4 months ago
- Initial rallying point for ideas and PRs around solving discoverability of Rust crates for production use.☆29Updated 7 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- Judy array implementation in pure Rust☆84Updated 7 years ago
- Retriever stores ordinary rust data types in a similar manner as a NoSQL database.☆48Updated last year
- An attempt to make a port of minimp3 to Rust☆30Updated 5 years ago
- [DEPRECATED] A simple object arena☆37Updated 3 years ago
- Units of Measure for Rust☆45Updated 8 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆45Updated 3 years ago
- An owned, grow-able UTF-8 string that stores small strings inline and avoids heap-allocation.☆69Updated 2 years ago
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆20Updated last year
- Pure-Rust Command Line Editing Library☆27Updated 8 years ago
- (More or less) accurate floating point algorithms☆55Updated 3 months ago
- A library which finds language features in rust code and provides resources on them.☆38Updated 6 years ago
- Convert `try!()` into `?`s☆33Updated 7 years ago
- Fast json encoder in rust, that encodes the structure of JSON values in their types☆83Updated 2 years ago
- Tutorial and demo of rust compiler replacement tooling☆55Updated 3 years ago
- Library for back tracking with customizable search for moves☆23Updated 2 years ago
- In support of measuring heap allocations in Rust programs.☆99Updated 5 years ago
- A Rust implementation of the PCG PRNG.☆23Updated 7 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆40Updated 2 years ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs☆33Updated 6 years ago
- ☆54Updated 5 years ago
- Rust library providing a counter-based thread barrier☆53Updated 5 years ago