Misha's repositories

cardano-wallet

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

License:Apache-2.0Stargazers:0Issues:0Issues:0

hydra-poc

Proof of concept for the Hydra Head protocol :construction_worker:

License:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

License:Apache-2.0Stargazers:0Issues:0Issues:0

bot-plutus-interface

Unofficial PAB implementation

Stargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

License:Apache-2.0Stargazers:0Issues:0Issues:0

plutus

The Plutus language implementation and tools

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Zero-Knowledge-Proofs-Resources

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

License:NOASSERTIONStargazers:0Issues:0Issues:0

plutus-apps

The Plutus application platform

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Alonzo-testnet

repository for the Alonzo testnet

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

fp-course

Functional Programming Course

Stargazers:0Issues:0Issues:0
License:CC0-1.0Stargazers:0Issues:0Issues:0

iban

Haskell library to validate IBANs and BBANs

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Stargazers:0Issues:0Issues:0

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:DockerfileStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskell-chart

A 2D charting library for haskell

Stargazers:0Issues:0Issues:0

urfu-fp-intro-20

Спецкурс "Введение в функциональное программирование" в УрФУ в 2020

Stargazers:0Issues:0Issues:0

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.

Stargazers:0Issues:0Issues:0

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

License:NOASSERTIONStargazers:0Issues:0Issues:0

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

License:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

free-programming-books

:books: Freely available programming books

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0