The universal markup converter
The first messaging platform operating without user identifiers
A terminal interface for Tetris
An advanced keyboard manager
Pandoc filter for cross-references
A reference implementation of the SimpleX Messaging Protocol
A static analysis tool for shell scripts
REST API for any Postgres database
The Haskell Tool Stack
Maintainable configuration files
Haskell to VHDL/Verilog/SystemVerilog compiler
The Plutus language implementation and tools
A static website compiler library in Haskell
A type-safe, non-TH Haskell SQL library and ORM
A declarative Unix terminal UI library written in Haskell
Ethereum smart contract fuzzer
Bluespec Compiler (BSC)
A programming language that understands what a web app is
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
Cryptol: The Language of Cryptography
The official formatter for Nix code
Web3 API for Haskell