hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
See what the GitHub community is most excited about today.
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
ShellCheck, a static analysis tool for shell scripts
REST API for any Postgres database
Parsing, analyzing, and comparing source code across many languages
Official upstream development repository for Cabal and cabal-install
Liquid Types For Haskell
A friendly programming language from the future
Universal markup converter
An advanced keyboard manager
Horn Clause Constraint Solving for Liquid Types
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Agda is a dependently typed programming language / interactive theorem prover.
An llvm pretty printer inspired by the haskell llvm binding
A set of utilities for using indexed types including containers, equality, and comparison.