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 📱!
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Universal markup converter
A friendly programming language from the future
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The symbolic execution engine powering the K Framework
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Formats haskell import lists
Implementation of the Hydra Head protocol
Dockerfile linter, validate inline bash, written in Haskell
A logical authorization system
Liquid Types For Haskell
Parsing, analyzing, and comparing source code across many languages