The universal markup converter
The first messaging platform operating without user identifiers
A terminal interface for Tetris
An advanced keyboard manager
A static analysis tool for shell scripts
Pandoc filter for cross-references
Maintainable configuration files
REST API for any Postgres database
Haskell to VHDL/Verilog/SystemVerilog compiler
The Haskell Tool Stack
Pattern language
The Plutus language implementation and tools
Fast, portable and reliable dependency analysis for any codebase
A reference implementation of the SimpleX Messaging Protocol
A type-safe, non-TH Haskell SQL library and ORM
Robust, fast, intuitive plain text accounting tool with CLI
A declarative Unix terminal UI library written in Haskell
The core component that is used to participate in a Cardano
A static website compiler library in Haskell
Bluespec Compiler (BSC)
Interactive programs without callbacks or side-effects
The core of xmonad, a small but functional ICCCM-compliant
Dockerfile linter, validate inline bash, written in Haskell
Platform-independent library for basic file system operations