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.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
ShellCheck, a static analysis tool for shell scripts
The core component that is used to participate in a Cardano decentralised blockchain.
A library for probabilistic programming in Haskell.
Universal markup converter
A comprehensive Amazon Web Services SDK for Haskell.
A compiler for sed
For exercise to use some modules in Haskell.
The ledger implementation and specifications of the Cardano blockchain.
A comprehensive Google Services SDK for Haskell.
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
Functional reactive web and mobile applications, with batteries included.
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
REST API for any Postgres database
Koka language compiler and interpreter
Horn Clause Constraint Solving for Liquid Types
The Plutus language implementation and tools
A collection of my config files.
Dapp, Seth, Hevm, and more
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
A strongly-typed language that compiles to JavaScript