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
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
An advanced keyboard manager
Koka language compiler and interpreter
A programming language that understands what a web app is.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
A fast Haskell JSON library
REST API for any Postgres database
Pattern language
The Plutus application platform
Universal markup converter
Decentralized applicaton backend for Cardano.
Integrations with Vinyl/Frames records (core library).
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
What I Wish I Knew When Learning Haskell
Agda is a dependently typed programming language / interactive theorem prover.
Dapp, Seth, Hevm, and more
Dockerfile linter, validate inline bash, written in Haskell
The Plutus language implementation and tools
The ledger implementation and specifications of the Cardano blockchain.
Official upstream development repository for Cabal and cabal-install