hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
See what the GitHub community is most excited about this month.
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
REST API for any Postgres database
Pattern language
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Informative git prompt for zsh
A friendly programming language from the future
Universal markup converter
The core component that is used to participate in a Cardano decentralised blockchain.
Agda is a dependently typed programming language / interactive theorem prover.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
The official (but not yet stable) formatter for Nix code
A shell script which checks your $HOME for unwanted files and directories.