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 Plutus language implementation and tools
ShellCheck, a static analysis tool for shell scripts
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Koka language compiler and interpreter
Universal markup converter
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Dockerfile linter, validate inline bash, written in Haskell
A package index for the Haskell ecosystem
What I Wish I Knew When Learning Haskell
The core component that is used to participate in a Cardano decentralised blockchain.
A comprehensive Amazon Web Services SDK for Haskell.
Pattern language
REST API for any Postgres database
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
The Plutus application platform
Reference DAML application demonstrating the use case of repackaging Mortgage Based Securities.
A simple db for ingesting and indexing static datasets on disk
Parsing, analyzing, and comparing source code across many languages
Spiritual successor to neuron, based on Ema.
Linux VR Desktop
Agda is a dependently typed programming language / interactive theorem prover.
An advanced keyboard manager