ShellCheck, a static analysis tool for shell scripts

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

Official Haskell IDE support via the language server protocol (LSP)

Research language for array processing in the Haskell/ML family

Educational computer programming environment using Haskell

A formatter for Haskell source code

🕵️ Haskell STatic ANalyser

Updating nixpkgs packages since 2018

A library for building Haskell IDE tooling

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

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

Explain why two Nix derivations differ

A reference library for constraint-solving with propagators and CDCL.

Euterpea version 2

agda-mode for neovim

Beating unix `wc` in Haskell

A small and expressive dependently typed language

Text lenses using PCRE regexes

theseus, functional programming language with fully reversible computation

A library for writing discord bots in haskell

Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.

Stream editing with Haskell Megaparsec parsers

A self-hosting mini Haskell compiler with a mini C runtime.

Bit vectors: 8x less memory, up to 3500x faster than Vector Bool

🔒 Secure WebSocket (WSS) clients in Haskell.

type level sets

rewrite rules for type-level equalities

Easily consume JSON data on-demand with type-safety