A command-line benchmarking tool

A command-line Last.fm scrobbler and a now-playing status updater.

Audirvana Last.fm scrobbler

A Haskell blog

Command Line Interactive and Scriptable Application to access MEGA

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

A modern proof language

Mostly adequate guide to FP (in javascript)

A tiling window manager for macOS based on binary space partitioning

Terminal bandwidth utilization tool

Agda-style equational reasoning in Haskell

An advanced keyboard manager

Stream editing with Haskell Megaparsec parsers

IO using sized types and copatterns

Haskell's newtype functionality and DerivingVia explained (Japanese talk at FIVE)

Working through the Thinking with Types book in Haskell

📖 A collection of pure bash alternatives to external processes.

Sturdy is a library for developing sound static analyses in Haskell.

Software engineering and artificial general intelligence blog of Răzvan Flavius Panda

Hypertypes - generic programming for heterogeneous recursive types

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

💄🐞 Combinators for writing pretty type errors easily

Comonads By Example Conference talk

A wayland compositor based on ideas from and inspired by xmonad

⚠️ tools for writing better type errors

Alternative Haskell Infrastructure for Nixpkgs

A set of utilities for using indexed types including containers, equality, and comparison.

💱 Querying a rate-limited currency exchange API using Redis as a cache

Guess-A-Number game in Haskell using Polysemy

Formalization of the Axiom of Choice and its Equivalent Theorems in Coq