Dependency chart of the MCU

A simple library for reporting compiler/interpreter errors

Yet another yet another recursion scheme library in Haskell.

Schemas for common flake output types

Automatic type class law checking.

⚡ preexec and precmd functions for Bash just like Zsh.

Modern problems require modern solutions.

Homebrew casks, nixified

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

Home Manager, but for repos.

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Describe elliptic curves

A self-generating story that gets longer the more stars it gets

direnv integration for emacs

nix modules for darwin

Haskell to C compiler via Categorifier

Interpret Haskell programs into any cartesian closed category.

deprecated in favor of -XQualifiedDo

⭐ it's a starcraft clone but with a dope typesystem

A collection of resources for learning type theory and type theory adjacent fields.

Nix Packages collection & NixOS

an implementation of Wadler's a prettier printer

Triton Operating System

Floobits plugin for emacs

A definition and reference implementation for MRA in PureScript.

[status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimethods.

The Haskell-Scriptable Editor

doc/tutorial generator for scala