Dev Fund Proposals
Grant proposals from canton-foundation/canton-dev-fund. Statuses tracked from the official project board.
#Title 20Status
#401
Proposal: Daml Package RegistryIncoming
daml-toolingchampion-confirmed
Incoming
#400
Add Sigli.ai DAWE ProposalIncoming
daml-toolingchampion-confirmed
Incoming
#327
Proposal: Add DPM Trace source-aware debuggingIncoming
daml-toolingSecurity/needs reviewneeds-champion
Incoming
#323
DamlCov: Test coverage analysis tool for Daml smart contractsIn Review
daml-tooling
In Review
#322
Proposal: Daml Deployment ToolkitIncoming
daml-tooling
Incoming
#302
Proposal: Hacken open-source monitoring and risk-scoring stackIncoming
dapp-integrationdaml-toolingregulatory-compliance
Incoming
#297
Proposal: Canton Transaction DebuggerIncoming
daml-tooling
Incoming
#238
Proposal: Denex Developer SDKVoting Live
dapp-integrationdaml-toolingcanton-apis
Voting Live
#185
CantonTrace - Debugging Platform for Canton NetworkIncoming
dapp-integrationdaml-toolingneeds-champion
Incoming
#171
Proposal: Canton Fee Estimator — Pre-Submission Transaction Cost IntelligenceNeeds Champion
daml-tooling
Needs Champion
#123
Proposal: Ginie — English to DAML Full Stack Dapp Builder tool for all EVM Solidity and Other chain builders to Increase Canton AdoptionNeeds Champion
dapp-integrationdaml-toolingchampion-confirmed
Needs Champion
#121
Proposal: Capstone Kits and AutograderIncoming
daml-tooling
Incoming
#91
Proposal: Daml upgrade migration plannerNeeds Champion
daml-tooling
Needs Champion
#88
Proposal: Canton Builder Navigator — Ecosystem Discovery and AI-Assisted Tool MatchingNeeds Champion
daml-tooling
Needs Champion
#74
Proposal: Canton DAR-to-TypeScript Codegen ToolkitDeclined
daml-tooling
Declined
#56
Proposal: Verified DAML applications with Quint - Specification-Driven Testing and AI-Assisted Smart Contract Development for CantonNeeds Champion
daml-tooling
Needs Champion
#52
DamlFuzz: Fuzzer for DAMLIn Review
daml-tooling
In Review
#42
Proposal: DAML Cloud IDENeeds Revision
daml-tooling
Needs Revision
#12
Proposal: B-Method Formal Verification Models for Canton DAML Standards (CIP-0056, CIP-0047)Needs Champion
daml-tooling
Needs Champion
#10
Proposal: Daml Code AssistantVoting Live
daml-tooling
Voting Live