Pinned Repositories
atlas
Application backend for Plutus smart contracts on Cardano
blaze-cardano
🔥 The hottest transaction building library for Cardano
blockfrost-haskell
Haskell SDK for Blockfrost.io
coqdomains
Domain theory and denotational semantics in Coq
domains
A formal development of constructive domain theory in Coq
haskell-resources
A List of Foundational Haskell Papers
haskell-sdk
Haskell SDK for the Maestro Dapp Platform
laceanatomy
Lets dissect Cardano data
lucid
Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.
marlowe-cardano
Marlowe smart contract language Cardano implementation
alegadea's Repositories
alegadea/atlas
Application backend for Plutus smart contracts on Cardano
alegadea/blaze-cardano
🔥 The hottest transaction building library for Cardano
alegadea/blockfrost-haskell
Haskell SDK for Blockfrost.io
alegadea/coqdomains
Domain theory and denotational semantics in Coq
alegadea/domains
A formal development of constructive domain theory in Coq
alegadea/haskell-resources
A List of Foundational Haskell Papers
alegadea/haskell-sdk
Haskell SDK for the Maestro Dapp Platform
alegadea/laceanatomy
Lets dissect Cardano data
alegadea/lucid
Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.
alegadea/marlowe-cardano
Marlowe smart contract language Cardano implementation
alegadea/pallas
Rust-native building blocks for the Cardano blockchain ecosystem
alegadea/plutus-apps
The Plutus application platform
alegadea/plutus-pioneer-program
This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.