Skip to main content

AsupersyncRUNTIME_ACTIVE

Home Interactive Demos Architecture Spec Docs

Get Started Glossary

Home Demos Arch.Spec

Specification Library

Spec Explorer

Browse the complete specification library — formal semantics, testing strategies, security models, and protocol documentation.

The cancel-correct async runtime for Rust. Built for structured concurrency and deterministic testing.

Runtime Healthy

v0.2.6 Active

Runtime

Home Interactive Demos Architecture

Resources

Spec Docs Get Started Glossary

© 2026 Jeffrey Emanuel. MIT License.

CANCEL-CORRECT BY DESIGN