Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

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

The Plutus language implementation and tools

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

The official formatter for Nix code

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

Implementation of the Hydra Head protocol

Simple Plutus contract to help give Charles' stuffed lobster a name

Addresses and mnemonic manipulation & derivations

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Haskell implementation of the Bech32 address format (BIP 0173).