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)

Terminal-based presentations using Pandoc

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

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