Haskell
Lambda normalization and conversion checking benchmarks for various implementations
A Haskell library for open records and variants using closed type families and type literals
Efficient hashing-based container types
A fast functional language based on two level type theory
Industrial-strength monadic parser combinator library
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
A community-driven collection of documentation for Haskell error messages and warnings
Components as records of functions for Haskell
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
Support functions to work with GHC's Type.Reflection, including pretty-printing.
A statically typed concatenative systems programming language.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
ShellCheck, a static analysis tool for shell scripts
A helper library for working with compiled, parameterized Plutus Scripts
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
Advent of Code complete solution archive and common library
Haskell JSON schema validator and parser generator
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…