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
Implementation of a Consensus Layer for the Ouroboros family of protocols
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
Simple time tracker
The symbolic execution engine powering the K Framework
Universal markup converter
A Haskell binding to the curl library
Faggruppe for haskell
A strongly-typed language that compiles to JavaScript
Informative git prompt for zsh
Slack backlink bot
Official upstream development repository for Cabal and cabal-install
Repositorio base para Funcional (Haskell con Pdepreludat)
An advanced keyboard manager
A set of utilities for using indexed types including containers, equality, and comparison.
The core component that is used to participate in a Cardano decentralised blockchain.
A friendly programming language from the future