hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
See what the GitHub community is most excited about today.
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
A comprehensive Amazon Web Services SDK for Haskell.
REST API for any Postgres database
Universal markup converter
Simple clipboard manager to be integrated with rofi - Static binary available
Horn Clause Constraint Solving for Liquid Types
A strongly-typed language that compiles to JavaScript
A collection of my config files.
Official upstream development repository for Cabal and cabal-install
Koka language compiler and interpreter
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
A programming language that understands what a web app is.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Integrations with Vinyl/Frames records.
The symbolic execution engine powering the K Framework
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.
A friendly programming language from the future
Core types and utilities
This is scrive's common collection of function import we use the most.
The ledger implementation and specifications of the Cardano blockchain.
generate haskell types for Squeal from a running postgresql database.
Effectful Raw handler for Servant servers.
Prometheus.io Haskell client.
A statically typed lisp, without a GC, for real-time applications.