Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory, etc.
Dapp, Seth, Hevm, and more
a small .pdf management tool with a command-line UI
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
Shell programming, Haskell style
Collection of scripts for transfinite ordinals computations
The Eta Programming Language, a dialect of Haskell on the JVM
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)