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 📱!
A drop-in replacement for nix-serve that is faster and more reliable
Liquid Types For Haskell
Horn Clause Constraint Solving for Liquid Types
A shell script which checks your $HOME for unwanted files and directories.
An advanced keyboard manager
Contributed modules for xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
ShellCheck, a static analysis tool for shell scripts
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
The Plutus language implementation and tools
💥💻💥 A data-parallel functional programming language
A set of utilities for using indexed types including containers, equality, and comparison.
Koka language compiler and interpreter
Universal markup converter
An llvm pretty printer inspired by the haskell llvm binding
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.