Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Nix Packages collection & NixOS

Contributed modules for xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

An interactive visualization tool for graph theory

Molecular modelling in haskell using accelerate

match(it): A lightweight single-header pattern-matching library for C++17 with macro-free APIs.

A cross-platform, OpenGL terminal emulator.

⌛ Type-safe time units in Haskell

🌌 Prelude written in @Serokell

Nix and Haskell in production

Find, Filter, Preview, Pick. All lua, all the time.

Hoogle search integration for Telescope

A high-level 3D rendering engine for Elm, with support for lighting, shadows, and realistic materials.

Haskell GHC reading guide

The Plutus language implementation and tools

EulerHS: full-fledged framework for creating web backends

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Haskell bindings for the Souffle datalog language

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

free monads

Haskell API search engine

🔎 Impossibly fast web search, made for static sites.