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