Command-line Kanban board/task manager with support for Trello boards
The open-source, Haskell-built video editor for GIF makers
Embedded language for high-performance array computations
Proof Logic : A logical framework for theorem proving
Public files of alphabit.org domain
A collection of machine-checkend mathematical proofs
Tool for scaffolding batteries-included production-level Haskell
The engine for haskell ide-integration. Not an IDE
A terminal interface for Tetris
Command-line interface for Fission
Cryptographic currency implementing Ouroboros PoS protocol
A command line tool to identify unused code
Parsing, analyzing, and comparing source code across many languages
Collection of scripts for transfinite ordinals computations
Shell programming, Haskell style
The Eta Programming Language, a dialect of Haskell on the JVM
Web3 API for Haskell
Power system analysis software
Functional sed for JSON
A GHC-based Haskell to JavaScript compiler
Haskell library that simplifies access to remote data
Jekyll in Haskell (feat. LaTeX)
Another Haskell web framework for rapid development
Functional Arabic Morphology