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
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The core component that is used to participate in a Cardano decentralised blockchain.
REST API for any Postgres database
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
An advanced keyboard manager
The symbolic execution engine powering the K Framework
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
A shell script which checks your $HOME for unwanted files and directories.
Official upstream development repository for Cabal and cabal-install
Agda is a dependently typed programming language / interactive theorem prover.
🇪🇺 Wire back-end services
This is scrive's common collection of function import we use the most.
Universal markup converter
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
haskell library to use xim
Fast parsing from bytestrings
The Haskell Tool Stack
The Plutus language implementation and tools