Pinned Loading

1. ozcar ozcar Public

   pi extension for audit workflows using /tree for branching + recovery

   TypeScript

2. OpenZeppelin/daml-verify OpenZeppelin/daml-verify Public

   Formal verification for DAML contracts

   Python 1

3. OpenZeppelin/canton-stablecoin OpenZeppelin/canton-stablecoin Public

   Stablecoin DAML with single admin CDP + fixed-discount liquidation

   Shell 3 1

4. OpenZeppelin/canton-token-template OpenZeppelin/canton-token-template Public template

   DAML template for CIP-056, Canton Token Standard

   Shell 2 1

5. OpenZeppelin/daml-props OpenZeppelin/daml-props Public

   Property-based testing for DAML contracts

   1 1

6. OpenZeppelin/daml-lint OpenZeppelin/daml-lint Public

   Static analysis scanner for DAML contracts

   Rust 1 1