lochbihl's Stars
digital-asset/daml
The Daml smart contract language
digital-asset/canton
Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.