Misha's repositories
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Alonzo-testnet
repository for the Alonzo testnet
applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
awesome-haskell-deep-learning
In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
awesome-recursion-schemes
Resources for learning and using recursion schemes.
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
computer-science
:mortar_board: Path to a free self-taught education in Computer Science!
cryptocoding
Guidelines for low-level cryptography software
free-programming-books
:books: Freely available programming books
haskell-chart
A 2D charting library for haskell
hydra-poc
Proof of concept for the Hydra Head protocol :construction_worker:
learnhaskell
Learn Haskell
practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
software-design-in-haskell
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
urfu-fp-intro-20
Спецкурс "Введение в функциональное программирование" в УрФУ в 2020
Zero-Knowledge-Proofs-Resources
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).