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
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
ShellCheck, a static analysis tool for shell scripts
REST API for any Postgres database
An advanced keyboard manager
Universal markup converter
Horn Clause Constraint Solving for Liquid Types
Official upstream development repository for Cabal and cabal-install
A friendly programming language from the future
Implementation of a Consensus Layer for the Ouroboros family of protocols
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
Compiler for Elm, a functional language for reliable webapps.
The Haskell Tool Stack
The symbolic execution engine powering the K Framework
Haskell implemented with combinators