IntersectMBO / plutus
The Plutus language implementation and tools
IntersectMBO / plutus
softstack / Smart-Contract-Security-Audits
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more
aiken-lang / aiken
A modern smart contract platform for Cardano