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.
REST API for any Postgres database
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
ShellCheck, a static analysis tool for shell scripts
Advanced templating engine decoupled from specific uses.
Walther's Project Euler repository
Agda is a dependently typed programming language / interactive theorem prover.
Universal markup converter
Dockerfile linter, validate inline bash, written in Haskell
Implementation of the Hydra Head protocol
An advanced keyboard manager
The symbolic execution engine powering the K Framework
okasaki
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Formats haskell import lists
Official upstream development repository for Cabal and cabal-install
The Haskell Tool Stack