Alternative Haskell Infrastructure for Nixpkgs

A modern syntax for the λ-calculus.

Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)

Учебник теории категорий

How to use Haskell + Stack with Unreal Engine 4 on Windows - Blueprint version

A wayland compositor based on ideas from and inspired by xmonad

Convert Haskell source code to Coq source code.

Haskell XML Toolbox

Common Lisp DSL for building untyped lambda calculus expressions

Haskell library for simple, concise and fast generic operations.

🎨 Colorization of text for command-line utilities

signed and unsigned 24-bit word types

Combinators for manipulating locally-nameless generalized de Bruijn terms

Reifies arbitrary Haskell terms into types that can be reflected back into terms

A Haskell implementation of Allen's interval algebra

A re-implementation of weeder using HIE files

Haskell bindings to GLUT

The Prettiest Printer

😎 The open-source, Haskell-built video editor for GIF makers.

Cluster single cells and analyze cell clade relationships with colorful visualizations.

datatypes and functions for easily working with passwords in Haskell

A simple implementation of the untyped lambda calculus

A monadic parser combinator library

Higher-order optimization library

Grammatical Framework core: compiler, shell & runtimes

Semigroups, specialized containers and a general map/reduce framework