rober-m / haskell-bootcampLinks
Repository containing the lectures and homework of the IOG's Haskell Bootcamp
☆14Updated 4 months ago
Alternatives and similar repositories for haskell-bootcamp
Users that are interested in haskell-bootcamp are comparing it to the libraries listed below
Sorting:
- A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…☆55Updated last year
- This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.☆27Updated last week
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆60Updated this week
- ☆76Updated 2 years ago
- A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium☆15Updated 2 years ago
- Symbolic framework☆23Updated this week
- This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Do…☆18Updated last year
- ☆18Updated 11 months ago
- Marlowe smart contract language Cardano implementation☆100Updated last month
- Cardano API☆40Updated this week
- An optimizer for untyped plutus core☆42Updated 3 years ago
- Implementation experiments as part of the design process of Starstream VM☆38Updated this week
- An untyped Plutus Core assembler☆34Updated 3 years ago
- Unofficial PAB implementation☆21Updated 2 years ago
- ☆42Updated this week
- A Purescript library for building smart contract transactions on Cardano☆93Updated last month
- Smart contracts and specification of the AMM protocol on top of the Cardano blockchain☆36Updated 2 years ago
- Helper libraries for Plutus.☆49Updated 3 years ago
- Application backend for Plutus smart contracts on Cardano☆76Updated last month
- Plutus Experience Modules☆21Updated this week
- Metadata for Cardano's Haskell package repository☆36Updated this week
- 🔬 A collection of scripts to classify and analyze the on-chain smart contract activity on Cardano☆10Updated 6 months ago
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Updated last year
- Better testing for Plutus☆11Updated 3 years ago
- This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.☆73Updated last week
- Propositional Logic Apropos Types☆15Updated 2 years ago
- ☆52Updated 4 months ago
- A DSL for describing and visualizing transactions in UTxO-based blockchains☆57Updated this week
- Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be u…☆49Updated 3 years ago
- This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, eas…☆354Updated 4 months ago