HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Proof of concept for the Hydra Head protocol :construction_worker:
The ledger implementation and specifications of the Cardano blockchain.
Unofficial PAB implementation
The core component that is used to participate in a Cardano decentralised blockchain.
The Plutus language implementation and tools
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
The Plutus application platform
repository for the Alonzo testnet
Functional Programming Course
Haskell library to validate IBANs and BBANs
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Source Code for 'Practical TLA+' by Hillel Wayne
A 2D charting library for haskell
Спецкурс "Введение в функциональное программирование" в УрФУ в 2020
In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
Applied Functional Programming Course - Move from exercises to a working app!
:mortar_board: Path to a free self-taught education in Computer Science!
:books: Freely available programming books