The universal markup converter
A static analysis tool for shell scripts
The first messaging platform operating without user identifiers
A reference implementation of the SimpleX Messaging Protocol
Fast, portable and reliable dependency analysis for any codebase
The core component that is used to participate in a Cardano
A terminal interface for Tetris
An advanced keyboard manager
Pandoc filter for cross-references
The Universal Plug-in System. Extend anything with WebAssembly
Ethereum smart contract fuzzer
Haskell to VHDL/Verilog/SystemVerilog compiler
Platform-independent library for basic file system operations
A feature-rich Unix terminal client for the Mattermost chat system
Web3 API for Haskell
Blazing fast, instant realtime GraphQL APIs on your DB
Koka language compiler and interpreter
Pattern language
Emanate a structured view of your plain-text notes
A tasty Haskell front-end framework
Educational computer programming environment using Haskell
Liquid Types For Haskell
Robust, fast, intuitive plain text accounting tool with CLI
Haskell pretty printer
Tool for scaffolding batteries-included production-level Haskell