Dockerfile linter, validate inline bash, written in Haskell

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Agda is a dependently typed programming language / interactive theorem prover.

Command line client for Nix binary cache hosting:

A lorem ipsum generator for markdown

Change-aware static site generator for Haskell programmers