abailly-iohk Goto Github PK

adventofcode-2021

Advent of Code 2021 - Spoiler alert

armstrong-distributed-systems

blst

Multilingual BLS12-381 signature library

cardano-cli

This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.

cardano-lab

Cardano swiss army knife

cardano-node

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

cardano-node-wiki

cardano-updates

cips

docusaurus

Easy to maintain open source documentation websites.

dotfiles

dqsd-piecewise-poly

A piecewise polynomial implementation of `dqsd-classes`

formal-utxo

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hydra-chess

Playing Chess through Cardano transaction and Hydra Head protocol

hydra-sim

io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

jepsen

A framework for distributed systems verification, with fault injection

nix-haskell-dev-vm

Terraform-based VM configuration to hack haskell with nix

ouroboros-network

An implementation of the Ouroboros family of consensus algorithms, with its networking support

pnsol-deltaq-clone

This is clone of PNSol's ∆Q library - it is automatically kept upto date with PNSol's internal gitlab repository

propellor

Cardano & Hydra related hosts configuration

quickcheck-dynamic

A library for testing stateful programs using dynamic logic

tcr

TCR (Test && Commit || Revert) utility

textlint

The pluggable natural language linter for text and markdown.