ShellCheck, a static analysis tool for shell scripts

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

An advanced keyboard manager

A Dependently Typed Functional Programming Language

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…

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

The engine for haskell ide-integration. Not an IDE

Easy dependency management for Nix projects

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Official upstream development repository for Cabal and cabal-install

A GHC-based Haskell to JavaScript compiler

Very low feature GHCi based IDE

A statically typed concatenative systems programming language.

♊ higher-order, no-boilerplate monads

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

Applicative option parser

Shake build system

Minimal implementations for dependent type checking and elaboration

A Testing Framework for Haskell

a small .pdf management tool with a command-line UI

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

haskell source code formatter

Happy Haskell Hacking for editors. DEPRECATED

A demo implementation of a simple dependently-typed language

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

GUI framework that uses the web browser as a display.

Compositional pipelines