A gently curated list of companies using Haskell in industry

Garmin application to provide a dashboard to control your Home Assistant

A monitor of resources

An MVP implementation of an accumulator in plutus over the BLS12-381 pairing curve

A standard for instant, untraceable, easy to use payments on the Cardano Blockchain.

Cardano Mercury Payment Gateway for WooCommerce

🔥 The hottest transaction building library for Cardano

Blackjack game made in React.Js

Multiplayer poker app built on Node, Express, React, Redux and Postgres to test out Bitcoin Lightning Network

The tail of Cardano

A node client for Cardano, written in Rust

A CLI-based Cardano Wallet

Experimental Hydra Plutus V3 setup

Home Assistant custom component of conversation agent. It uses OpenAI to control your devices.

Release with confidence, state-of-the-art property testing for Haskell.

A tool for exploring each layer in a docker image

Monthly reports and dev blog of the Cardano Scaling group

A new markup-based typesetting system that is powerful and easy to learn.

Share your linux or osx terminal over the Internet.

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Code for my talks on the No Boilerplate channel

🤖 Just a command runner

Run unpatched binaries on Nix/NixOS

FineTypes is an interface description language (IDL) focussing on types

Sparse Merkle trees with proofs of inclusion and exclusion

All the "greatness" of proof of work, now in smart contract form

Cardano Smart Contract SDK and Testing Framework

An introduction to programming language theory in Agda

Formal specifications of the cardano ledger