IntersectMBO / cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
See what the GitHub community is most excited about today.
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.
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Contributed modules for xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Official upstream development repository for Cabal and cabal-install
The Plutus language implementation and tools
ShellCheck, a static analysis tool for shell scripts
Agda is a dependently typed programming language / interactive theorem prover.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Universal markup converter
A shell script which checks your $HOME for unwanted files and directories.