Pinned Repositories
cardano-c-cbmc
Cardano C but with CBMC proofs
cardano-ctf
A game where Cardano developers and enthusiasts can try to exploit purposely vulnerable smart contracts and learn about the most common security issues and how to prevent them.
RSoulatIOHK's Repositories
RSoulatIOHK/cardano-c-cbmc
Cardano C but with CBMC proofs
RSoulatIOHK/cardano-ctf
A game where Cardano developers and enthusiasts can try to exploit purposely vulnerable smart contracts and learn about the most common security issues and how to prevent them.
RSoulatIOHK/cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
RSoulatIOHK/Certification-working-group
RSoulatIOHK/CIPs
RSoulatIOHK/dapps-certification
Certification as a service for the Cardano dApps platform
RSoulatIOHK/imitator
IMITATOR
RSoulatIOHK/MarloweCBMC
CBMC Model for Marlowe Smart Contracts
RSoulatIOHK/minimal-ptt-examples
RSoulatIOHK/plutus-apps
The Plutus application platform
RSoulatIOHK/Cardano-Guardrails-Checkers
Checker for all Cardano constitution guardrails
RSoulatIOHK/cardano-modelchecking
Cardano Model Checking Starter Kit
RSoulatIOHK/DummyCertification
Dummy Certification Github so we can familiarize ourselves with GitHub Projects
RSoulatIOHK/ghactions-dest
RSoulatIOHK/nami
Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain.
RSoulatIOHK/Plinther
Everything you need to quickly develop and verify your Plinth Smart Contracts
RSoulatIOHK/pluts-emulator
RSoulatIOHK/plutus
The Plutus language implementation and tools
RSoulatIOHK/plutus-ha-template
This is a template repository for kickstarting your plutus-tx smart contract project. Please refer to the README.md for more information.
RSoulatIOHK/plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
RSoulatIOHK/proposal-builder-cli
RSoulatIOHK/ptt_documentation
Docusaurus documentation of PTT
RSoulatIOHK/RSoulatIOHK.github.io
RSoulatIOHK/stan
🕵️ Haskell STatic ANalyser
RSoulatIOHK/test-adeline
RSoulatIOHK/uninspired
Self-hosted single-user wishlist
RSoulatIOHK/vesting-pluts