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
Cryptographic currency implementing Ouroboros PoS protocol
A hip inductive theorem prover!
Dockerfile linter, validate inline bash, written in Haskell
A comprehensive Amazon Web Services SDK for Haskell.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
Ethereum smart contract fuzzer
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
Reference DAML application demonstrating a bond issuance use case.
Reference DAML application demonstrating a healthcare use case.
A simple db for ingesting and indexing static datasets on disk
Yet another applicative validator for haskell
Launch processes with Vault secrets in the environment
Reach: The Safest and Easiest DApp Programming Language
Play Daemon Poker on the command line
WQL query language
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Compiler for Elm, a functional language for reliable webapps.
The Haskell Tool Stack
Phase vocoder in Haskell