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 this week.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
REST API for any Postgres database
Universal markup converter
Binary Indexed Trees in Haskell
ShellCheck, a static analysis tool for shell scripts
Addresses and mnemonic manipulation & derivations
The core component that is used to participate in a Cardano decentralised blockchain.
An advanced keyboard manager
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Dapp, Seth, Hevm, and more
Marlowe smart contract language Cardano implementation
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Source code for the memory profiling webinar livestreamed at Dec 1, 2022
Haskell S3 Client, forked from http://hackage.haskell.org/package/hS3 to support MD5 validation on upload and removed dependency on MissingH
Implementation of the Hydra Head protocol
Compiler for Elm, a functional language for reliable webapps.
Random examples in diagrams.
Koka language compiler and interpreter
IO concurrent promitives for conduit
Haskell's IO simulator which closely follows core packages (base, async, stm).
Agda is a dependently typed programming language / interactive theorem prover.