koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
See what the GitHub community is most excited about this month.
ShellCheck, a static analysis tool for shell scripts
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
A friendly programming language from the future
The core component that is used to participate in a Cardano decentralised blockchain.
Agda is a dependently typed programming language / interactive theorem prover.
An advanced keyboard manager
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Implementation of the Hydra Head protocol
Dockerfile linter, validate inline bash, written in Haskell
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Informative git prompt for zsh
Haskell implemented with combinators
The official formatter for Nix code
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Universal markup converter