Statum helps make undesirable state impossible to represent in code, at compile time

Proc-macro typestate DSL for Rust

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

JaTyC: a typestate checker for Java

Derive-macro-based generator that combines `Typestate` and `Builder` patterns.

A typescript express app with monadic middlewares and typestates.

Additional tuple traits to enable ergonomic types.

My talk at Rust Nation 2024 included a crate with some examples of how to use the Type system to your advantage.

Examples of the Typestate pattern in Rust

Illustrative examples using https://github.com/rustype/typestate-rs

A Rust macro to help build simple Typestate APIs.

A declarative Rust architecture for a zero-trust hardware cryptographic boundary, targeting Hubris. Assumes hostile silicon: closes a documented ME/AMT network-egress path, narrows DMA key-exposure via page-splitting, encodes fault-injection immunity via compiler-enforced typestates. 3 PoCs verify these claims. Declarative spec, no runtime yet.

⚰️ Implementation of Conway's Game of Life using the typestate pattern in Rust.

A typestate-driven bowling game engine in Rust.

A featureful and simple rust Typestate implementation with defaults

A depth-first, multi-language static scanner that flags wasted work, self-contradiction, and missing escape hatches — and never dresses a heuristic up as a proof. The pons asinorum for code.

Sealed Law-layer Execution Environment. A structural law that removes the representability of certain effects. Rust reference runner, formal specs, invariant-driven architecture.

Experiment using type state pattern and dyn trait for dynamic state transition

An HTTP parser which uses typestates

A request builder for the JSON Placeholder API using the typestate pattern in Rust.