Stars
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
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…
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
The engine for haskell ide-integration. Not an IDE
A multilingual package manager for Arch Linux and the AUR.
Research language for array processing in the Haskell/ML family
Educational computer programming environment using Haskell
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
Generically derive traversals, lenses, and prisms.
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
High-powered REPL for Haskell, inspired by IPython
A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
A graphical interactive proof assistant designed for education
being an operating system for typechecking processes