A feature-rich Unix terminal client for the Mattermost chat system
Robust, fast, intuitive plain text accounting tool with CLI
Applicative option parser
Fast, portable and reliable dependency analysis for any codebase
Tool for scaffolding batteries-included production-level Haskell
Translates a plain text description of a relational database schema
Very low feature GHCi based IDE
Dapp, Seth, Hevm, and more
a small .pdf management tool with a command-line UI
Proof Logic : A logical framework for theorem proving
Public files of alphabit.org domain
Command-line interface for Fission
A command line tool to identify unused code
Parsing, analyzing, and comparing source code across many languages
Shell programming, Haskell style
MDA support for Alloy
foundation of the General Intelligence Operating System
Universal text format converter
dependently typed functional programming language