Rust contracts for the Concordium blockchain extracted from the Coq development in ConCert.
counter-extracted - a counter contract; good starting point to start exploring ConCert.
counter-from-presentation - a counter contract from the presentation on the Concordium Workshop, June 30, 2021
escrow-extracted - an escrow contract
interp-extracted - a prototype of a DSL interpeter