Dev Fund Proposals

Grant proposals from canton-foundation/canton-dev-fund. Statuses tracked from the official project board.

All 416Incoming 125Needs Champion 17In Review 9Voting Live 5Approved 31Needs Revision 16Declined 85
State:Any 416open 241closed 175Sort:NewestOldestA-Z
Labels:needs-champion 54needs-sig-label 47daml-tooling 38Approved 31gitvote 20champion-confirmed 16gitvote/closed 13gitvote/passed 9canton-apis 9dapp-integration 9wallet-apps 9Security/needs review 8node-deployment-operations 8financial-workflows-composability 7gitvote/open 7clear
#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