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 📱!
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Universal markup converter
Dockerfile linter, validate inline bash, written in Haskell
Koka language compiler and interpreter
REST API for any Postgres database
Interactively browse dependency graphs of Nix derivations.
Horn Clause Constraint Solving for Liquid Types
Implementation of a Consensus Layer for the Ouroboros family of protocols
The symbolic execution engine powering the K Framework
ShellCheck, a static analysis tool for shell scripts
The Plutus language implementation and tools
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
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.