MinIO Client SDK for Haskell

A reference library for constraint-solving with propagators and CDCL.

Instant startup time for nix-shell

Launch and manage your Tmux sessions from Dhall files.

gg - git (G)UI: A tool for interactively manipulating the history of git repos and for making easy (enforcing) the usage of good (opinionated) practices.

Docker image with GHC+musl for static executables

I'm trying to update the Real World Haskell book

Derivations for easily downloading Dhall binaries and putting them to use.

Generate Nix build instructions from a Cabal file

Very low feature GHCi based IDE

Easy dependency management for Nix projects

Bash completion for the Nix command line tools

A curated list of projects related to the reMarkable tablet

A wayland compositor based on ideas from and inspired by xmonad

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Higher-kinded data via generics

join and meet semilattices, lower and upper bounds.

Haskell package descriptions merging (⩓) the best of HPack and Dhall.

Scoring for free flight competitions.

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash

This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json

This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text

Maintainable configuration files

Patched fonts for Powerline users.

[Project ended] rkt is a pod-native container engine for Linux. It is composable, secure, and built on standards.

Elm Twitter client for Chrome