hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
See what the GitHub community is most excited about today.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
An advanced keyboard manager
Agda is a dependently typed programming language / interactive theorem prover.
Horn Clause Constraint Solving for Liquid Types
Dockerfile linter, validate inline bash, written in Haskell
Official upstream development repository for Cabal and cabal-install
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Dapp, Seth, Hevm, and more
A collection of my config files.
Compiler for Elm, a functional language for reliable webapps.
REST API for any Postgres database
ShellCheck, a static analysis tool for shell scripts
Code used throughout the Cardano eco-system
Haskell S3 Client, forked from http://hackage.haskell.org/package/hS3 to support MD5 validation on upload and removed dependency on MissingH
Tunneling over websocket protocol - Static binary available
The core component that is used to participate in a Cardano decentralised blockchain.
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Haskell to VHDL/Verilog/SystemVerilog compiler
The Haskell Tool Stack
Koka language compiler and interpreter
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.