input-output-hk / 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
The streaming database built for IoT data storage and real-time processing in the 5G Era
Dockerfile linter, validate inline bash, written in Haskell
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
A programming language that understands what a web app is.
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Cryptographic currency implementing Ouroboros PoS protocol
Future-proof note-taking and publishing based on Zettelkasten
Koka language compiler and interpreter
A CI server written in Simple Haskell.
A strongly-typed language that compiles to JavaScript
Haskell gRPC support
A simple db for ingesting and indexing static datasets on disk
Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
Universal markup converter
Parsing, analyzing, and comparing source code across many languages
Beginnings of a parser for a new functional language
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Yet another applicative validator for haskell
Official upstream development repository for Cabal and cabal-install