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
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
The core component that is used to participate in a Cardano decentralised blockchain.
Dockerfile linter, validate inline bash, written in Haskell
Slack backlink bot
Universal markup converter
Interactively browse dependency graphs of Nix derivations.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
REST API for any Postgres database
Official upstream development repository for Cabal and cabal-install
This is scrive's common collection of function import we use the most.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
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.
Implementation of a Consensus Layer for the Ouroboros family of protocols
Simula operaciones de memoria y caché a partir de datos extraídos de sesiones GAP
Horn Clause Constraint Solving for Liquid Types
The Plutus language implementation and tools