Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with dining-cryptographers

A curated list of projects in awesome lists tagged with dining-cryptographers .

https://github.com/m4lvin/dining-benchmark

🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

benchmark dining-cryptographers haskell model-checking verification

Last synced: 14 Oct 2024