D-inspired contract programming in Rust using macros
☆53Jul 6, 2021Updated 4 years ago
Alternatives and similar repositories for adhesion-rs
Users that are interested in adhesion-rs are comparing it to the libraries listed below
Sorting:
- Rust version of lemire's SimdJson☆17Mar 11, 2019Updated 6 years ago
- A vscode extension that adds a code lens to debug Rust tests.☆19May 9, 2021Updated 4 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Rust's missing `String` literal☆19Jun 26, 2019Updated 6 years ago
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- An implementation of the Webassembly spec in Rust☆101Jan 10, 2019Updated 7 years ago
- Helpers for clearing sensitive data on the stack and heap☆53Jun 14, 2025Updated 8 months ago
- Delegate method calls to a field.☆15Dec 31, 2017Updated 8 years ago
- An experiment in embedding layout computations in the type system.☆17Aug 18, 2019Updated 6 years ago
- Rust crate for easy serialization/deserialization of hexadecimal values.☆31Sep 14, 2022Updated 3 years ago
- Library implementing the prefix tree in Rust☆35Jul 15, 2018Updated 7 years ago
- Truncate strings in a human-friendly way.☆14Dec 5, 2021Updated 4 years ago
- Some snow using Rust and WebAssembly.☆17Mar 2, 2023Updated 3 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 4 years ago
- Design by contract style assertions for Rust☆254Jan 4, 2021Updated 5 years ago
- A Rust library for simple (usually command-line) user interaction | now on https://codeberg.org/valpackett/interactor☆33Oct 1, 2022Updated 3 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Jul 11, 2019Updated 6 years ago
- ☆16Mar 31, 2021Updated 4 years ago
- Distributed consensus protocol for replicated state machines☆60Jan 5, 2019Updated 7 years ago
- OAuth client for Rust☆37Jan 9, 2023Updated 3 years ago
- Pretty-print file sizes and more☆50Mar 28, 2025Updated 11 months ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 6 years ago
- Wrapper over gl-rs, to make code look more like Rust and less like C while still having classical OpenGL control as you would in C☆25Jun 18, 2022Updated 3 years ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 years ago
- Elliptic Curve VRFs☆29Updated this week
- Convenient creation of type-safe refinement types.☆23Jul 30, 2024Updated last year
- A utility for analysing the structure of a cargo project.☆24Dec 28, 2022Updated 3 years ago
- Rust port of https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html☆22Feb 15, 2026Updated 3 weeks ago
- A type safe, low level replacement for `std::io`.☆62Jan 4, 2023Updated 3 years ago
- Extract code files from Markdown☆27Oct 3, 2018Updated 7 years ago
- A Rust implementation of the Strobe protocol framework☆26Feb 9, 2026Updated last month
- A simple library to send ntp requests and receive responses☆29Sep 29, 2021Updated 4 years ago
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆46Nov 12, 2025Updated 3 months ago
- An mdbook preprocessing plugin to generate chess boards☆10Feb 24, 2026Updated 2 weeks ago
- buck2 oci rules☆11Nov 20, 2024Updated last year
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 2 years ago
- Generic, minimalist, parallelizable Merkle tree☆14Oct 9, 2018Updated 7 years ago
- In short, mio is memcached + "range search".☆40Sep 16, 2010Updated 15 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago