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
A strongly-typed language that compiles to JavaScript
REST API for any Postgres database
Clearly-delineated error-handling
A logical authorization system
Horn Clause Constraint Solving for Liquid Types
Integrations with Vinyl/Frames records.
Core types and utilities
A comprehensive Amazon Web Services SDK for Haskell.
generate haskell types for Squeal from a running postgresql database.
Integrations with Vinyl/Frames records (core library).
This is scrive's common collection of function import we use the most.
Effectful Raw handler for Servant servers.
Dapp, Seth, Hevm, and more
PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.
Prometheus.io Haskell client.
Visualizing kubernetes capacity.
Updatable one-shot timer polled with STM (Haskell)
An advanced keyboard manager
A friendly programming language from the future
The Plutus language implementation and tools
Horus, a formal verification tool for StarkNet smart contracts.
ShellCheck, a static analysis tool for shell scripts
The core component that is used to participate in a Cardano decentralised blockchain.