The universal markup converter
The first messaging platform operating without user identifiers
A terminal interface for Tetris
Haskell to VHDL/Verilog/SystemVerilog compiler
REST API for any Postgres database
A static analysis tool for shell scripts
A math-inspired CAD program in haskell. CSG, bevels, and shells
Pattern language
Pandoc filter for cross-references
Haskell game engine library for roguelike dungeon crawlers
Ethereum smart contract fuzzer
Maintainable configuration files
Interactive programs without callbacks or side-effects
Robust, fast, intuitive plain text accounting tool with CLI
Koka language compiler and interpreter
The core of xmonad, a small but functional ICCCM-compliant
Compiler for Elm, a functional language for reliable webapps
A modern proof language
Web3 API for Haskell
Platform-independent library for basic file system operations
A shell script which checks your $HOME for unwanted files
Haskell code prettifier
The full power of R in Haskell
Upstream development repository for Cabal and cabal-install
A reference implementation of the SimpleX Messaging Protocol