haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
See what the GitHub community is most excited about today.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
An advanced keyboard manager
A shell script which checks your $HOME for unwanted files and directories.
💥💻💥 A data-parallel functional programming language
ShellCheck, a static analysis tool for shell scripts
A language for intent-centric and declarative decentralised applications
The Plutus language implementation and tools
The ledger implementation and specifications of the Cardano blockchain.
Implementation of a Consensus Layer for the Ouroboros family of protocols
Compiler for Elm, a functional language for reliable webapps.
The core component that is used to participate in a Cardano decentralised blockchain.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Official upstream development repository for Cabal and cabal-install
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
An HTTP client engine, intended as a base layer for more user-friendly packages.
Dockerfile linter, validate inline bash, written in Haskell
Universal markup converter
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Functional reactive web and mobile applications, with batteries included.
Contributed modules for xmonad
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.