D-inspired contract programming in Rust using macros
☆53Jul 6, 2021Updated 5 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
- Rust version of lemire's SimdJson☆17Mar 11, 2019Updated 7 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Some snow using Rust and WebAssembly.☆17Mar 2, 2023Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆52Sep 17, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Non-lexical lifetimes RFC.☆50Apr 9, 2018Updated 8 years ago
- Truncate strings in a human-friendly way.☆14Dec 5, 2021Updated 4 years ago
- Rust's missing `String` literal☆18Jun 26, 2019Updated 7 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
- ☆12Feb 6, 2018Updated 8 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
- A simple unit system for Rust☆11Feb 24, 2017Updated 9 years ago
- Design by contract style assertions for Rust☆259Jan 4, 2021Updated 5 years 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.
- Rust crate for easy serialization/deserialization of hexadecimal values.☆31Sep 14, 2022Updated 4 years ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 7 years ago
- An experiment in embedding layout computations in the type system.☆17Aug 18, 2019Updated 7 years ago
- Delegate method calls to a field.☆15Dec 31, 2017Updated 8 years ago
- A type safe, low level replacement for `std::io`.☆61Jan 4, 2023Updated 3 years ago
- The home for Rust's governance documentation, such as team charters.☆14Jan 26, 2022Updated 4 years ago
- Rust CLI weather forecasting tool☆11Dec 28, 2017Updated 8 years ago
- Monitor disturbances in a web service's behaviour.☆11Feb 3, 2025Updated last year
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆330Jul 11, 2019Updated 7 years ago
- 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.
- A zero-copy json-lexer, filters and serializer.☆20Jul 25, 2024Updated 2 years ago
- Run Git commands in all subdirectories really fast☆25Jan 2, 2026Updated 8 months ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 years ago
- 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 10 years ago
- buck2 oci rules☆13Jul 14, 2026Updated 2 months ago
- Distributed consensus protocol for replicated state machines☆60Jan 5, 2019Updated 7 years ago
- A Fallout 2 DAT archive extractor/creator.☆21Apr 28, 2019Updated 7 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆50Apr 11, 2021Updated 5 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10May 6, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Check the mood of a word☆18Sep 18, 2026Updated last week
- SQL front-end in Rust☆14May 11, 2021Updated 5 years ago
- A Rust implementation of the Strobe protocol framework☆28Sep 20, 2026Updated last week
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆47Jul 25, 2026Updated 2 months ago
- A vscode extension that adds a code lens to debug Rust tests.☆19May 9, 2021Updated 5 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆41May 17, 2022Updated 4 years ago
- Library implementing the prefix tree in Rust☆35Jul 15, 2018Updated 8 years ago