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

A Rust macro to help build simple Typestate APIs.

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

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

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

An HTTP parser which uses typestates

A formally sealed Rust machine enforcing structural impossibility via typestate. Zero runtime, zero dependencies, no_std. Compile-time proof that invalid state transitions cannot exist.

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

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

Compile-time state machine validation for Nim. Invalid transitions don't compile.