A shell script which checks your $HOME for unwanted files and directories.

Easy dependency management for Nix projects

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

A formatter for Haskell source code

A dependently-typed programming language with static memory management

Command line client for Nix binary cache hosting:

Functional programming with fewer indirections

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

Comparing many FRP implementations by reimplementing the same toy app in each.

Generate Nix build instructions from a Cabal file

Dependent type checker using normalisation by evaluation

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

A utility for displaying the module dependencies of Haskell programs.

Compile Idris to Vimscript, like you always wanted.

being an operating system for typechecking processes

haskell source code visualizer

Effects libraries in Haskell

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

Lambda normalization and conversion checking benchmarks for various implementations

Template Haskell Workshop

A really small example of the Backpack module system for Haskell

GHC language extensions table

Generate tags file for haskell modules (GHC)

Experiments about running Haskell via WebAssembly on Fastly

The multimode presheaf proof-assistant

GHC plugin to branch on whether a constraint is satisfied

An interface for GHC type-checking plugins