Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

🇪🇺 Wire back-end services

The Plutus language implementation and tools

Haskell source code suggestions

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

The ledger implementation and specifications of the Cardano blockchain.

Write consistent git commit messages based on a custom template

gRPC library binding for Haskell.

Functional golfing language inspired by Haskell.

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

_cat companion

An automatic declarative ASCIInema recorder

slitherlink solver using minisat