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
Universal markup converter
An advanced keyboard manager
Dockerfile linter, validate inline bash, written in Haskell
A statically typed lisp, without a GC, for real-time applications.
A friendly programming language from the future
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
Agda is a dependently typed programming language / interactive theorem prover.
Official Haskell IDE support via the language server protocol (LSP)
The core component that is used to participate in a Cardano decentralised blockchain.
Bend2 - WIP
Accelerate building apps on Canton Network using this quickstart to start quick!
REST API for any Postgres database
Compiler for Elm, a functional language for reliable webapps.