Proc-macro typestate DSL for Rust
☆155Jul 4, 2023Updated 2 years ago
Alternatives and similar repositories for typestate-rs
Users that are interested in typestate-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 rust crate to offer compile-time assistance for working with unsafe code.☆123Oct 11, 2021Updated 4 years ago
- Gather author, contributor and publisher data on crates in your dependency graph.☆355Feb 5, 2026Updated 4 months ago
- ☆582Jan 31, 2023Updated 3 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆23Apr 11, 2021Updated 5 years ago
- Type checked state machine library in Rust☆253Aug 6, 2021Updated 4 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 migration manager written in Rust that attempts to be smart yet minimal☆108Nov 27, 2023Updated 2 years ago
- Single-future, #![no_std] executor based on event bitmasks☆23Feb 26, 2022Updated 4 years ago
- Units of measurement -- type-safe zero-cost dimensional analysis☆1,237Apr 23, 2026Updated last month
- A syn targetting PEG parser generator☆20Jun 11, 2023Updated 3 years ago
- Utilities for enhanced slicing and indexing☆31Apr 15, 2023Updated 3 years ago
- the most complete serialization tree for serde☆16Apr 24, 2024Updated 2 years ago
- SegVec data structure for rust. Similar to Vec, but allocates memory in chunks of increasing size.☆39Dec 23, 2023Updated 2 years ago
- Hierarchical state machines for designing event-driven systems☆783Nov 29, 2025Updated 6 months ago
- Heap profiling and ad hoc profiling for Rust programs.☆976Feb 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A `cargo generate` template for quick-starting a procedural macro crate☆16Oct 30, 2019Updated 6 years ago
- Capability-oriented version of the Rust standard library☆796Feb 15, 2026Updated 3 months ago
- Creusot helps you prove your Rust code is correct.☆1,765Updated this week
- [DEPRECATED] Non-blocking TCP or Unix connect☆14May 1, 2021Updated 5 years ago
- Shard is an Archetype-based Entity Component System implemented in Rust.☆13Sep 12, 2023Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- A light wrapper around rr, the time-travelling debugger☆148Aug 21, 2023Updated 2 years ago
- rd is a record/replay debugger written in rust☆959Jun 3, 2022Updated 4 years ago
- A developer-friendly document database that grows with you, written in Rust☆1,061Jul 25, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A generic bbqueue based transport for defmt log messages☆20Dec 17, 2021Updated 4 years ago
- Disassembler for Python bytecode☆17Jun 6, 2026Updated last week
- Automatic cfg for Rust compiler features☆115May 22, 2026Updated 3 weeks ago
- Versioned data-structures for Rust☆209Feb 26, 2025Updated last year
- To futures-lite as futures-lite is to futures: smaller.☆54Dec 17, 2024Updated last year
- An experimental stateful, structured, declarative GUI crate☆15Feb 6, 2024Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆76Oct 7, 2023Updated 2 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33May 4, 2026Updated last month
- Fake implementation of `std::Fn` for user-defined data types☆35Dec 18, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,158Mar 23, 2026Updated 2 months ago
- High-performance asynchronous computation framework for system simulation☆284Updated this week
- ☆16Jul 10, 2021Updated 4 years ago
- A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications☆1,750May 19, 2026Updated 3 weeks ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆73May 17, 2024Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆518Dec 14, 2025Updated 6 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆653Aug 14, 2024Updated last year