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.
Dockerfile linter, validate inline bash, written in Haskell
Universal markup converter
ShellCheck, a static analysis tool for shell scripts
Pattern language
Horn Clause Constraint Solving for Liquid Types
REST API for any Postgres database
Liquid Types For Haskell
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
An advanced keyboard manager
A stream-based runtime-verification framework for generating hard real-time C code.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.