repos
30
ecosystems
1
languages
4
commits
214
─── top repos · by commits
─── repositories
30 totalOff-chain Constitution Checker
CIP on High Assurance
Automated Formal Verification Tool for Cardano Smart Contracts
Static Analyzer for Plinth Smart Contracts
Plutus High Assurance Template, automattion of plugging into our GitHub Projects
Certification as a service for the Cardano dApps platform
Certification as a service for the Cardano dApps platform
Remote environment for High Assurance development
Checker for all Cardano constitution guardrails
The Plutus language implementation and tools
The Plutus language implementation and tools
Select coins, build transactions
The Plutus language implementation and tools
The Plutus language implementation and tools
Central place to get all the information about the Plutus Testing Tool
The Plutus language implementation and tools
Plinth Testing Tool using the Contract Model
Cardano Improvement Proposals (CIPs)
CIPs being edited or proposed by Project Catalyst
CIPs for ALBA, Leios, Peras, ...
Cardano Improvement Proposals (CIPs)
Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
Fork of CF CIPs for developing CIP PRs
Cardano Improvement Proposals (CIPs)
─── peer developers
─── ecosystems
─── languages
- Haskell9
- TypeScript5
- Python4
- JavaScript4
─── subscriber view
Unlock the full view of RSoulatIOHK
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.