hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
{{ message }}
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.
ShellCheck, a static analysis tool for shell scripts
Dapp, Seth, Hevm, and more
A collection of my config files.
Universal markup converter
Horn Clause Constraint Solving for Liquid Types
The core component that is used to participate in a Cardano decentralised blockchain.
A strongly-typed language that compiles to JavaScript
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
REST API for any Postgres database
Drop-in replacement for the base library, to use with Liquid Haskell
A programming language that understands what a web app is.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
A comprehensive Google Services SDK for Haskell.
Reference DAML application demonstrating a healthcare use case.
Turn Parsec type into instance of invertible-syntax-poly.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
The Haskell Tool Stack
A shell script which checks your $HOME for unwanted files and directories.
The symbolic execution engine powering the K Framework
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Functional reactive web and mobile applications, with batteries included.