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.
REST API for any Postgres database
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
Universal markup converter
The Plutus language implementation and tools
An advanced keyboard manager
Beginnings of a parser for a new functional language
Parsing, analyzing, and comparing source code across many languages
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Tunneling over websocket protocol - Static binary available
A web microframework for Haskell based on monadic parsing
Liquid Types For Haskell
The core component that is used to participate in a Cardano decentralised blockchain.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Spiritual successor to neuron, based on Ema.
Hash-based Diffing for AST's
A strongly-typed language that compiles to JavaScript
Horn Clause Constraint Solving for Liquid Types
Clearly-delineated error-handling
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.