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
The official formatter for Nix code
Official Haskell IDE support via the language server protocol (LSP)
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
The ledger implementation and specifications of the Cardano blockchain.
Implementation of a Consensus Layer for the Ouroboros family of protocols
Contributed modules for xmonad
Code used throughout the Cardano eco-system
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
The Plutus language implementation and tools
The core of xmonad, a small but functional ICCCM-compliant tiling window manager