Skip to content
#Title 38StatusAuthor / Date
#56
Proposal: Verified DAML applications with Quint - Specification-Driven Testing and AI-Assisted Smart Contract Development for CantonNeeds Champion
daml-tooling
Needs Champion
crodriguezvega06-03-2026
#52
DamlFuzz: Fuzzer for DAMLIn Review
daml-tooling
In Review
mderka05-03-2026
#46
Proposal: C# / .NET SDK for Canton NetworkApproved
dapp-integrationdaml-toolingcanton-apisApproved
Approved
monsieurleberre05-03-2026
#42
Proposal: DAML Cloud IDENeeds Revision
daml-tooling
Needs Revision
540K CChilarl04-03-2026
#18
Proposal: Canton devkit (dpm component) - a unified toolkit for Canton app development (LocalNet, dar helpers, etc)Approved
daml-toolingApprovedchampion-confirmed
Approved
1.9M CCzheli23-02-2026
#12
Proposal: B-Method Formal Verification Models for Canton DAML Standards (CIP-0056, CIP-0047)Needs Champion
daml-tooling
Needs Champion
zakaryaeboudittv21-02-2026
#10
Proposal: Daml Code AssistantVoting Live
daml-tooling
Voting Live
nathancornille-ieu20-02-2026
#7
feat(lsp): add proposal for DAML LSPDeclined
daml-tooling
Declined
0xfourzerofour20-02-2026