ndmitchell / hlint
Haskell source code suggestions
See what the GitHub community is most excited about today.
Haskell source code suggestions
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
An advanced keyboard manager
ShellCheck, a static analysis tool for shell scripts
Compiler for Elm, a functional language for reliable webapps.
The Haskell Tool Stack
Agda is a dependently typed programming language / interactive theorem prover.
The core component that is used to participate in a Cardano decentralised blockchain.
A community-driven collection of documentation for Haskell error messages and warnings
Parsing, analyzing, and comparing source code across many languages
Universal markup converter
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A statically typed lisp, without a GC, for real-time applications.
The symbolic execution engine powering the K Framework
A comprehensive Amazon Web Services SDK for Haskell.
REST API for any Postgres database
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
Haskell bindings to Halide
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Dockerfile linter, validate inline bash, written in Haskell
Official upstream development repository for Cabal and cabal-install
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.