The universal markup converter
Fast, portable and reliable dependency analysis for any codebase
The first messaging platform operating without user identifiers
Pandoc filter for cross-references
An advanced keyboard manager
The core component that is used to participate in a Cardano
A terminal interface for Tetris
REST API for any Postgres database
The Plutus language implementation and tools
A static analysis tool for shell scripts
A reference implementation of the SimpleX Messaging Protocol
The core of xmonad, a small but functional ICCCM-compliant
Cryptol: The Language of Cryptography
Robust, fast, intuitive plain text accounting tool with CLI
The Haskell Tool Stack
Haskell to VHDL/Verilog/SystemVerilog compiler
Platform-independent library for basic file system operations
The official formatter for Nix code
Emanate a structured view of your plain-text notes
Tensors and neural networks in Haskell
Haskell code prettifier
A tasty Haskell front-end framework
A friendly programming language from the future
Wire back-end services
Koka language compiler and interpreter