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
Horn Clause Constraint Solving for Liquid Types
Koka language compiler and interpreter
Agda is a dependently typed programming language / interactive theorem prover.
REST API for any Postgres database
💥💻💥 A data-parallel functional programming language
The core component that is used to participate in a Cardano decentralised blockchain.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
ShellCheck, a static analysis tool for shell scripts
The symbolic execution engine powering the K Framework
Universal markup converter
Explain why two Nix derivations differ
Interactively browse dependency graphs of Nix derivations.
A strongly-typed language that compiles to JavaScript
An advanced keyboard manager
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Official upstream development repository for Cabal and cabal-install
The Haskell Tool Stack