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 📱!
REST API for any Postgres database
The core component that is used to participate in a Cardano decentralised blockchain.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Horn Clause Constraint Solving for Liquid Types
Dockerfile linter, validate inline bash, written in Haskell
An advanced keyboard manager
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
ShellCheck, a static analysis tool for shell scripts
Universal markup converter
Interactively browse dependency graphs of Nix derivations.
Liquid Types For Haskell
The core of xmonad, a small but functional ICCCM-compliant tiling window manager