Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

An advanced keyboard manager

Functional Programming Course

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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)

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Terminal-based presentations using Pandoc

The engine for haskell ide-integration. Not an IDE

A wiki using HAppS, pandoc, and git

C to Rust translator

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

A declarative Unix terminal UI library written in Haskell

Haskell bindings for TensorFlow

Simple clipboard manager to be integrated with rofi - Static binary available

Deep Learning in Haskell

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

Haskell 101 and 102: slides and codelabs

Tensors and neural networks in Haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

A formatter for Haskell source code

A notification daemon/center for linux

Command line client for Nix binary cache hosting:

Interactively browse dependency graphs of Nix derivations.

A terminal interface for Tetris

Applicative option parser