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 upstream development repository for Cabal and cabal-install
Horn Clause Constraint Solving for Liquid Types
Interactively browse dependency graphs of Nix derivations.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A friendly programming language from the future
🇪🇺 Wire back-end services
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
The ledger implementation and specifications of the Cardano blockchain.
Agda is a dependently typed programming language / interactive theorem prover.
An advanced keyboard manager
Liquid Types For Haskell
REST API for any Postgres database
Implementation of the Hydra Head protocol