The universal markup converter
A terminal interface for Tetris
The first messaging platform operating without user identifiers
An advanced keyboard manager
Pandoc filter for cross-references
A static analysis tool for shell scripts
REST API for any Postgres database
Pattern language
Haskell to VHDL/Verilog/SystemVerilog compiler
Fast, portable and reliable dependency analysis for any codebase
A reference implementation of the SimpleX Messaging Protocol
Maintainable configuration files
The Plutus language implementation and tools
The core component that is used to participate in a Cardano
A type-safe, non-TH Haskell SQL library and ORM
Ethereum smart contract fuzzer
Haskell source code suggestions
A declarative Unix terminal UI library written in Haskell
Web3 API for Haskell
Interactive programs without callbacks or side-effects
Platform-independent library for basic file system operations
Blazing fast, instant realtime GraphQL APIs on your DB
Cryptol: The Language of Cryptography
The official formatter for Nix code
A programming language that understands what a web app is