sellout

yaya

Yet another yet another recursion scheme library in Haskell.

dada

A total recursion scheme library for Dhall

caterwaul

Wailing into the primordial ooze of category theory

Iaia

A recursion scheme library for Idris.

haskerwaul

Category theory concepts in type classes and instances.

project-manager

Home Manager, but for repos.

dhall-dhall

Implementation of Dhall in Dhall

no-recursion

A GHC plugin to remove support for recursion

dhall-path

Well-typed path manipulation for Dhall

dotfiles

Sellout’s general configuration

bradix

Braille-radix numbers

flaky

Templates for dev environments

hall

The corridor connecting Dhall and Haskell

.github

Default community health files for `github:sellout` repos

bash-strict-mode

Write better shell scripts

beautiful-failures-cxx

Ergonomic error handling in C++

doctest

An implementation of Python's doctest for Haskell

emacs-extended-faces

A set of faces to sit between Emacs’ built-in faces and 3rd-party faces.

emacs-semver

Library for using Semantic Versioning in Emacs

flaky-haskell

Building Haskell libraries across many GHC versions

hpack-dhall

Use hpack's phrasing in dhall to write cabal files

keyboard-layout

kilns-haskell

An experimental programming language based on the kell calculus

lrzhs

Haskell bindings for zcash-wallet-backend using zcash-client-sqlite.

nixpkgs

Nix Packages collection

pathway

stump-nix

unison

A friendly programming language from the future

unison-mode-emacs

Very simple syntax highlighting

unison-nix

Nix support for the Unison programming language