PostgREST / postgrest
REST API for any Postgres database
See what the GitHub community is most excited about today.
REST API for any Postgres database
Universal markup converter
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
A friendly programming language from the future
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The core component that is used to participate in a Cardano decentralised blockchain.
The Plutus language implementation and tools
The Haskell Tool Stack
strict put serialization
Haskell-based shell scripting language
Accelerates K Framework's Haskell backend
A stream-based runtime-verification framework for generating hard real-time C code.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Agda is a dependently typed programming language / interactive theorem prover.