The Haskell Tool Stack

A modern proof language

The official formatter for Nix code

a small .pdf management tool with a command-line UI

The Plutus application platform

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.

Haskell gRPC support

CQL: Categorical Query Language implementation in Haskell

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

Application backend for Plutus smart contracts on Cardano

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

LambdaBuffers toolkit for sharing types and their semantics between different languages

Plutus Use Cases