xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
{{ message }}
See what the GitHub community is most excited about today.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
An advanced keyboard manager
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The core component that is used to participate in a Cardano decentralised blockchain.
Universal markup converter
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
A collection of my config files.
Koka language compiler and interpreter
Reach: The Safest and Easiest DApp Programming Language
Official upstream development repository for Cabal and cabal-install
A strongly-typed language that compiles to JavaScript
Code used throughout the Cardano eco-system
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
A comprehensive Amazon Web Services SDK for Haskell.
An implementation of the Ouroboros family of consensus algorithms, with its networking support
The Plutus application platform
A protolude-based custom prelude for the Cardano project
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
The Plutus language implementation and tools
The ledger implementation and specifications of the Cardano blockchain.
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Prometheus.io Haskell client.
Genetic Algorithm based randomized testing
A logical authorization system