simplex-chat / simplex-chat
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
See what the GitHub community is most excited about today.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
Dockerfile linter, validate inline bash, written in Haskell
The core component that is used to participate in a Cardano decentralised blockchain.
A tutorial about how to apply property-based testing to stateful systems.
Render graphs using a declarative markup.
An advanced keyboard manager
ShellCheck, a static analysis tool for shell scripts
Fork of GHC (https://gitlab.haskell.org/ghc/ghc.git)
Code used throughout the Cardano eco-system
The Plutus application platform
REST API for any Postgres database
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Koka language compiler and interpreter
A comprehensive Amazon Web Services SDK for Haskell.
The Plutus language implementation and tools
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Tunneling over websocket protocol - Static binary available
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A friendly programming language from the future
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Addresses and mnemonic manipulation & derivations
The ledger implementation and specifications of the Cardano blockchain.