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
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
The symbolic execution engine powering the K Framework
Ethereum smart contract fuzzer
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Universal markup converter
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Horn Clause Constraint Solving for Liquid Types
Implementation of a Consensus Layer for the Ouroboros family of protocols
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.