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 📱!
The core component that is used to participate in a Cardano decentralised blockchain.
Dockerfile linter, validate inline bash, written in Haskell
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
The Plutus language implementation and tools
A modern proof language
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official upstream development repository for Cabal and cabal-install
Cryptol: The Language of Cryptography
Horn Clause Constraint Solving for Liquid Types
The ledger implementation and specifications of the Cardano blockchain.
ShellCheck, a static analysis tool for shell scripts
An advanced keyboard manager
Agda is a dependently typed programming language / interactive theorem prover.