composewell / streamly
High performance, concurrent functional programming abstractions
See what the GitHub community is most excited about today.
High performance, concurrent functional programming abstractions
Universal markup converter
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
REST API for any Postgres database
The core component that is used to participate in a Cardano decentralised blockchain.
Icepeak is a fast JSON document store with push notification support.
Horn Clause Constraint Solving for Liquid Types
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
Official upstream development repository for Cabal and cabal-install
Cryptol: The Language of Cryptography
❇️ A WebSocket JSON/RPC bridge for Cardano