kmonad / kmonad
An advanced keyboard manager
{{ message }}
See what the GitHub community is most excited about today.
An advanced keyboard manager
Universal markup converter
The core component that is used to participate in a Cardano decentralised blockchain.
A strongly-typed language that compiles to JavaScript
The Plutus application platform
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
ShellCheck, a static analysis tool for shell scripts
High performance, concurrent functional programming abstractions
Standard library for linear types in Haskell.
generate haskell types for Squeal from a running postgresql database.
Prometheus.io Haskell client.
Core types and utilities
Effectful Raw handler for Servant servers.
Koka language compiler and interpreter
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Tunneling over websocket protocol - Static binary available
Hello LaunchDarkly for Haskell
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Official upstream development repository for Cabal and cabal-install
Fork of GHC (https://gitlab.haskell.org/ghc/ghc.git)
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.