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 today.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Universal markup converter
Dockerfile linter, validate inline bash, written in Haskell
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
Official Haskell IDE support via the language server protocol (LSP)
REST API for any Postgres database
ShellCheck, a static analysis tool for shell scripts