jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
A friendly programming language from the future
An advanced keyboard manager
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The core component that is used to participate in a Cardano decentralised blockchain.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
REST API for any Postgres database
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
High performance, concurrent functional programming abstractions
🇪🇺 Wire back-end services
ShellCheck, a static analysis tool for shell scripts
💥💻💥 A data-parallel functional programming language
The symbolic execution engine powering the K Framework
Sources of the asblballondoxygene.be website.
Official upstream development repository for Cabal and cabal-install
The ledger implementation and specifications of the Cardano blockchain.
The Haskell Tool Stack
Dockerfile linter, validate inline bash, written in Haskell
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
A set of utilities for using indexed types including containers, equality, and comparison.
Marlowe smart contract language Cardano implementation
Implementation of the Hydra Head protocol
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
A shell script which checks your $HOME for unwanted files and directories.