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 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Non-lexical lifetimes RFC.☆49Apr 9, 2018Updated 8 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
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Design by contract style assertions for Rust☆255Jan 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 3 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☆11Apr 8, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 11 months ago
- A Rust implementation of the Strobe protocol framework☆26Mar 30, 2026Updated 2 weeks ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 5 years ago
- Check the mood of a word☆17Apr 1, 2026Updated 2 weeks 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