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