agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
See what the GitHub community is most excited about today.
Agda is a dependently typed programming language / interactive theorem prover.
Compiler for Elm, a functional language for reliable webapps.
Dockerfile linter, validate inline bash, written in Haskell
REST API for any Postgres database
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
The core component that is used to participate in a Cardano decentralised blockchain.
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Universal markup converter