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.
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
REST API for any Postgres database
The official (but not yet stable) formatter for Nix code
Universal markup converter
Implementation of the Hydra Head protocol
Horn Clause Constraint Solving for Liquid Types
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.