kmonad / kmonad
An advanced keyboard manager
See what the GitHub community is most excited about today.
An advanced keyboard manager
ShellCheck, a static analysis tool for shell scripts
Universal markup converter
Dockerfile linter, validate inline bash, written in Haskell
Parsing, analyzing, and comparing source code across many languages
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Terminal-based presentations using Pandoc
Horn Clause Constraint Solving for Liquid Types
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
A shell script which checks your $HOME for unwanted files and directories.
The core component that is used to participate in a Cardano decentralised blockchain.
Desugars Template Haskell abstract syntax to a simpler format without changing semantics