uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

An incremental parsing system for programming tools

Nix Packages collection & NixOS

Nix, the purely functional package manager

The Z3 Theorem Prover

🌟 For when you really just want to serve some files over HTTP right now!

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

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

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

BLAS-like Library Instantiation Software Framework

Memory hacking library for Dwarf Fortress and a set of tools that use it

Easy dependency management for Nix projects

Official upstream development repository for Cabal and cabal-install

Haskell source code suggestions

A reference implementation of an event-sourced system that uses PostgreSQL as an event store built with Spring Boot. Fork the repository and use it as a template for your projects. Or clone the rep…

Very low feature GHCi based IDE

Nix and Haskell in production

Lisp-flavoured C

A formatter for Haskell source code

A (more or less) one page introduction to Nix, the language.

I'm trying to update the Real World Haskell book

Functional programming with fewer indirections

The Arend Proof Assistant

Release with confidence, state-of-the-art property testing for Haskell.

Modern and extensible testing framework for Haskell

Alternative Haskell Infrastructure for Nixpkgs

🕵️ Haskell STatic ANalyser

🚧 a work in progress effect system for Haskell 🚧

K Framework Tools 7.0

Web application for exploring and understanding Haskell codebases