ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

🔥 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 Haskell Tool Stack

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…

Linux VR Desktop

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

A static website compiler library in Haskell

Pattern language

Agda is a dependently typed programming language / interactive theorem prover.

The Eta Programming Language, a dialect of Haskell on the JVM

Easy dependency management for Nix projects

Official upstream development repository for Cabal and cabal-install

A declarative Unix terminal UI library written in Haskell

Haskell bindings for TensorFlow

Haskell to VHDL/Verilog/SystemVerilog compiler

The Haskell-Scriptable Editor

The official formatter for Nix code

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Tensors and neural networks in Haskell

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

A formatter for Haskell source code

Haskell code prettifier

Command line client for Nix binary cache hosting:

Industrial-strength monadic parser combinator library

Applicative option parser

Interactively browse dependency graphs of Nix derivations.

A monadic parser combinator library