hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
3 stars today
Discover GitHub Trending Haskell repositories gaining attention today.
Dockerfile linter, validate inline bash, written in Haskell
Official Haskell IDE support via the language server protocol (LSP)
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
ShellCheck, a static analysis tool for shell scripts
Universal markup converter
Official upstream development repository for Cabal and cabal-install
Agda is a dependently typed programming language / interactive theorem prover.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The Daml smart contract language
REST API for any Postgres database