The universal markup converter
A static analysis tool for shell scripts
A terminal interface for Tetris
The first messaging platform operating without user identifiers
REST API for any Postgres database
Robust, fast, intuitive plain text accounting tool with CLI
Haskell to VHDL/Verilog/SystemVerilog compiler
Wire back-end services
Upstream development repository for Cabal and cabal-install
Koka language compiler and interpreter
Platform-independent library for basic file system operations
A strongly-typed language that compiles to JavaScript
Interactive programs without callbacks or side-effects
A programming language that understands what a web app is
Dockerfile linter, validate inline bash, written in Haskell
A modern proof language
A shell script which checks your $HOME for unwanted files
Web3 API for Haskell
The core of xmonad, a small but functional ICCCM-compliant
A reference implementation of the SimpleX Messaging Protocol
HStreamDB is an open-source, cloud-native streaming database
Emanate a structured view of your plain-text notes
The full power of R in Haskell
Haskell code prettifier
Pattern language