Maintainable configuration files
Haskell code prettifier
A friendly programming language from the future
A formatter for Haskell source code
A feature-rich Unix terminal client for the Mattermost chat system
Dapp, Seth, Hevm, and more
a small .pdf management tool with a command-line UI
A collection of machine-checkend mathematical proofs
A command line tool for articles management.