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
Universal markup converter
Ethereum smart contract fuzzer
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Implementation of the Hydra Head protocol
The core component that is used to participate in a Cardano decentralised blockchain.
A friendly programming language from the future
A set of utilities for using indexed types including containers, equality, and comparison.
Agda is a dependently typed programming language / interactive theorem prover.
An advanced keyboard manager
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.
The Plutus language implementation and tools