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 component that is used to participate in a Cardano decentralised blockchain.
Universal markup converter
Beginnings of a parser for a new functional language
Compiler for Elm, a functional language for reliable webapps.
The ledger implementation and specifications of the Cardano blockchain.
Horn Clause Constraint Solving for Liquid Types
Spiritual successor to neuron, based on Ema.
Functional reactive web and mobile applications, with batteries included.
A comprehensive Amazon Web Services SDK for Haskell.
Code used throughout the Cardano eco-system
Drop-in replacement for the base library, to use with Liquid Haskell
The Plutus language implementation and tools
A comprehensive Google Services SDK for Haskell.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
REST API for any Postgres database
IO concurrent promitives for conduit
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Research language for array processing in the Haskell/ML family
Agda is a dependently typed programming language / interactive theorem prover.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager