Choreographic Programming: From Theory To Practice
Website
Website not available yet
Generating a standard library of core distributed algorithms with formal proofs
ProjectID
ChoreographicProgramming
Acronym
ChoreographicProgramming
Additional Info
- Resources
- Source code
- https://github.com/lovrosdu/klor
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Agorakit
Groupware which is a friendly online home to communities
Reowolf
Reowolf replaces sockets by connectors which support high-level verification, compilation, and optimization techniques. Funded by NLnet/NGI0, Reowolf 1.0 is a...
Privacy Preserving Disease Tracking
Research into contact tracing privacy
Decentralized Key Management Infrastructure 4 SSI
A Decentralized Key Management Infrastructure (DKMI) is essential to any SSI implementation. DKMI is the cryptographic infrastructure upon which the...
