Ecosyste.ms: Packages

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

proxy.golang.org "formal-methods" keyword

Top 4.2% on proxy.golang.org
github.com/spacejam/sled v0.34.7 💰
the champagne of beta embedded databases
11 versions - Latest release: over 2 years ago - 1 dependent repositories - 6,790 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/y-taka-23/ddsv-go v0.0.0-20200423164506-6605a1e6e26f
A toy deadlock detector written in Go. 🔍
1 version - Latest release: about 4 years ago - 27 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/symbolicsoft/verifpal v0.27.2
Mirror of Verifpal canonical repository.
117 versions - Latest release: 10 months ago - 5 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/Componolit/RecordFlux v0.21.0
Formal specification and generation of verifiable binary parsers, message generators and protocol...
25 versions - Latest release: about 2 months ago - 97 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/componolit/recordflux v0.21.0
Formal specification and generation of verifiable binary parsers, message generators and protocol...
25 versions - Latest release: about 2 months ago - 97 stars on GitHub
Top 8.2% on proxy.golang.org
verifpal.com v0.27.2
Cryptographic protocol analysis for real-world protocols.
117 versions - Latest release: 10 months ago - 9 stars on GitHub
Related Keywords
formal-verification 5 spark 2 python 2 protocol-specification 2 protocol-parser 2 parser 2 formal-specification 2 communication-protocol 2 binary-parser 2 ada 2 symbolic-protocol-analysis 2 protocol-verification 2 protocol-analysis 2 cryptography 2 cryptographic-protocols 2 b-plus-tree 1 b-tree 1 concurrent 1 crash-testing 1 database 1 embedded-kv 1 fuzzing 1 high-performance 1 incredibly-spicy 1 kv 1 lock-free 1 log-structured 1 orm 1 persistence 1 state-machine 1 model-checking 1 graphviz 1 golang 1 go 1 rust 1 deadlock 1 automaton 1 tree 1 sled 1