Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "binary-serializer" keyword

wirespec-backend-tlaplus 0.3.0
TLA+ code generation backend for wirespec state machines
1 version - Latest release: 2 days ago - 9 downloads total - 0 stars on GitHub - 1 maintainer
wirespec-driver 0.3.0
Compilation driver and CLI for wirespec
1 version - Latest release: 2 days ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
wirespec-lsp 0.3.0
Language Server Protocol server for wirespec
1 version - Latest release: 2 days ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
wirespec-backend-rust 0.3.0
Rust backend for wirespec
1 version - Latest release: 2 days ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
binary 4 codegen 4 parser 4 protocol 4 tla 4 binary-format 4 binary-parser 4 code-generator 4 network-protocol 4 protocol-dsl 4 state-machine 4