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.
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Guided projects for EMURGO Academy's Cardano-Haskell Developer Open Course
ShellCheck, a static analysis tool for shell scripts
An advanced keyboard manager
Cardano API
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The Plutus language implementation and tools
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
🇪🇺 Wire back-end services
The ledger implementation and specifications of the Cardano blockchain.
Implementation of the Hydra Head protocol
A strongly-typed language that compiles to JavaScript
Detexify Backend written in Haskell
A statically typed lisp, without a GC, for real-time applications.
Haskell GUI Project Template
A friendly programming language from the future
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Language Server for Agda
H-99: Ninety-Nine Haskell Problems