koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
See what the GitHub community is most excited about today.
ShellCheck, a static analysis tool for shell scripts
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Agda is a dependently typed programming language / interactive theorem prover.
Compiler for Elm, a functional language for reliable webapps.
🇪🇺 Wire back-end services
The symbolic execution engine powering the K Framework
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
An advanced keyboard manager
Official upstream development repository for Cabal and cabal-install
Accelerates K Framework's Haskell backend
Updatable one-shot timer polled with STM (Haskell)
The Haskell Tool Stack
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
A comprehensive Amazon Web Services SDK for Haskell.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.