Haskell project template using Nix + Flakes + VSCode (HLS)

🧪 | A test framework for Lean 4.

🌐 | HTTP primitives for Lean 4

Modal editing your way

Basic syntax highlighting for Yesod's DSLs

Structured editing (soft deletion, expression navigating & manipulating) that supports many major modes out of the box.

Go get tested! Github Actions matrix generator for your haskell projects

Visual tool to spot odd runtime behaviour of Haskell programs.

My NixOS configuration (DEPRECATED)

Alternative Haskell Infrastructure for Nixpkgs

Nix, the purely functional package manager

K Framework Tools 7.0

The Z3 Theorem Prover

The symbolic execution engine powering the K Framework

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

🕵️ Haskell STatic ANalyser

🚧 a work in progress effect system for Haskell 🚧

A helpful companion to GHC. Overrides GHC messages, to the user's liking.

Haskell source code suggestions

Symbolic formula representation and solver interaction library

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

📓 Flexible and configurable modern #Haskell logging framework

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

This is a GHC source plugin to detect type variables that are unquantified

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Filter with effects

I'm trying to update the Real World Haskell book

An incremental parsing system for programming tools

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

Haskell code complexity and quality measurement