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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Rust version of lemire's SimdJson☆17Mar 11, 2019Updated 7 years ago
- Some snow using Rust and WebAssembly.☆17Mar 2, 2023Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆53Jun 14, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Non-lexical lifetimes RFC.☆49Apr 9, 2018Updated 7 years ago
- Truncate strings in a human-friendly way.☆14Dec 5, 2021Updated 4 years ago
- Rust's missing `String` literal☆19Jun 26, 2019Updated 6 years ago
- A vscode extension that adds a code lens to debug Rust tests.☆19May 9, 2021Updated 4 years ago
- An implementation of the Webassembly spec in Rust☆101Jan 10, 2019Updated 7 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
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- ☆12Feb 6, 2018Updated 8 years ago
- Rust crate for easy serialization/deserialization of hexadecimal values.☆31Sep 14, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Design by contract style assertions for Rust☆254Jan 4, 2021Updated 5 years ago
- A simple unit system for Rust☆11Feb 24, 2017Updated 9 years ago
- An experiment in embedding layout computations in the type system.☆17Aug 18, 2019Updated 6 years ago
- Delegate method calls to a field.☆15Dec 31, 2017Updated 8 years ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 6 years ago
- A type safe, low level replacement for `std::io`.☆62Jan 4, 2023Updated 3 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Jul 11, 2019Updated 6 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- Monitor disturbances in a web service's behaviour.☆11Feb 3, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Generic, minimalist, parallelizable Merkle tree☆14Oct 9, 2018Updated 7 years ago
- Rust CLI weather forecasting tool☆11Dec 28, 2017Updated 8 years ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 years ago
- The home for Rust's governance documentation, such as team charters.☆13Jan 26, 2022Updated 4 years ago
- Run Git commands in all subdirectories really fast☆26Jan 2, 2026Updated 2 months ago
- Distributed consensus protocol for replicated state machines☆60Jan 5, 2019Updated 7 years ago
- A zero-copy json-lexer, filters and serializer.☆19Jul 25, 2024Updated last year
- A simple Finite State Machine library in Rust, define a couple of enums, construct a machine, define some transition behaviours and voila…☆15May 29, 2016Updated 9 years ago
- buck2 oci rules☆11Nov 20, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 10 months ago
- A Rust implementation of the Strobe protocol framework☆26Feb 9, 2026Updated last month
- Check the mood of a word☆17Mar 5, 2026Updated 3 weeks ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 4 years ago
- StemJail: Dynamic Role Compartmentalization☆47Oct 1, 2016Updated 9 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆41May 17, 2022Updated 3 years ago
- SQL front-end in Rust☆14May 11, 2021Updated 4 years ago