wirespecType-safe protocol description language

Define wire formats, state machines, and codecs in a single DSL. Generate zero-allocation C parsers and serializers.

Wire Formats

Describe packets, frames, and TLV capsules with precise byte-level control. Supports VarInt, bit fields, optional fields, and pattern matching.

First-class state machine definitions with guards, actions, and hierarchical delegation. Formally verifiable protocol logic.

Generate C11 code today with zero heap allocation. Rust backend coming next. LLVM planned for the future.

Pure Python compiler with no external dependencies. Generated C requires only a single header-only runtime under 500 lines.