jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
ShellCheck, a static analysis tool for shell scripts
An advanced keyboard manager
Dockerfile linter, validate inline bash, written in Haskell
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The Haskell Tool Stack
Haskell implemented with combinators
Official upstream development repository for Cabal and cabal-install
🇪🇺 Wire back-end services
The Plutus language implementation and tools
A friendly programming language from the future
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Agda is a dependently typed programming language / interactive theorem prover.
Systematic concurrency testing meets Haskell.
Haskell pretty printer