Universal markup converter

ShellCheck, a static analysis tool for shell scripts

An advanced keyboard manager

Functional Programming Course

A modern proof language

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

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

A wiki using HAppS, pandoc, and git

C to Rust translator

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

Haskell 101 and 102: slides and codelabs

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

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

A notification daemon/center for linux

A formatter for Haskell source code

Command line client for Nix binary cache hosting:

A terminal interface for Tetris

Applicative option parser

Interactively browse dependency graphs of Nix derivations.

Detexify Backend written in Haskell

Accompanying Source Code for the Haskell Data Analysis Cookbook

Applied Functional Programming Course - Move from exercises to a working app!

🕵️ Haskell STatic ANalyser