wirespecType-safe protocol description language

Define wire formats, state machines, and codecs in a single DSL. Generate safe C and Rust parsers, and verify protocols with TLA+.

Get Started

Language Reference

Safe Protocol Definitions

Declaratively describe your binary protocol structure and get a parser/serializer free from buffer overreads and endianness bugs — automatically generated.

Replace Hand-Written C

Replace hundreds of lines of hand-written C protocol handling with a few dozen lines of .wspec.

Multi-Target Output

Generate C11 and Rust code from a single definition. Add a backend to support new target languages.

Proven on Real Protocols

QUIC, TLS 1.3, MQTT, BLE, IPv4, TCP — real protocol specs written in wirespec with round-trip tested generated code.

State Machine Verification

Verify protocol state machines with TLA+ model checking. Detect deadlocks, liveness violations, and guard conflicts at compile time.

ASN.1 Integration

Embed ASN.1-encoded fields with automatic rasn decode/encode. Supports UPER, BER, DER, APER, OER, COER.