Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Compiler for Elm, a functional language for reliable webapps.

The engine for haskell ide-integration. Not an IDE

Haskell source code suggestions

A monadic parser combinator library

Updating nixpkgs packages since 2018

A prompt engineering functional programming language

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Search for old versions of Nix packages

Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

Dependent type checker using normalisation by evaluation

Classic Algorithm W for type inference.

Linter for the Nix expression language

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

Chapelure is a diagnostic library for Haskell

Unison Share's backend server

Toy programming language

Prototype for https://github.com/Innf107/vega

🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.

An untyped lambda calculus interpreter written in Haskell

Solutions for Advent of Code 2020