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 📱!
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
Agda is a dependently typed programming language / interactive theorem prover.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
🇪🇺 Wire back-end services
REST API for any Postgres database
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Official upstream development repository for Cabal and cabal-install
Informative git prompt for zsh
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The core component that is used to participate in a Cardano decentralised blockchain.
Cryptol: The Language of Cryptography
Liquid Types For Haskell