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
Compiler for Elm, a functional language for reliable webapps.
Koka language compiler and interpreter
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
A low level Haskell library to connect to postgres
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
Ethereum smart contract fuzzer
A friendly programming language from the future
A strongly-typed language that compiles to JavaScript
A Haskell to WebAssembly compiler
Reference DAML application demonstrating a bond issuance use case.
Symbolic formula representation and solver interaction library
Reach: The Safest and Easiest DApp Programming Language
A formal specification and executable model of the ledger rules introduced by the Shelley release
Reference DAML application demonstrating a healthcare use case.
Signal processing for Haskell based on hmatrix
Universal markup converter
Fast parsing from bytestrings
Horn Clause Constraint Solving for Liquid Types
An implementation of the Ouroboros family of consensus algorithms, with its networking support
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
a functional programming language with algebraic effects and handlers
A CI server written in Simple Haskell.
REST API for any Postgres database