plutus topic
naumachia
Cardano Smart Contract SDK and Testing Framework
imperator
A proof of concept imperative language for writing Plutus Smart Contracts.
helios
Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.
detailed-plutus-lecture-notes
Initially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help future pioneers, Cardano devs and anyone with an academic interest...
atlas
Application backend for Plutus smart contracts on Cardano
cardano-dex-contracts
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
cardano-open-oracle-protocol
COOP - Cardano open oracle protocol
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
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...