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.
How to learn front-end or back-end development
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
An advanced keyboard manager
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A friendly programming language from the future
PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
System for collecting, deriving and working with facts about source code.
Cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
Compiler for Elm, a functional language for reliable webapps.
A strongly-typed language that compiles to JavaScript
Dapp, Seth, Hevm, and more
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
The Plutus language implementation and tools
Universal markup converter
The symbolic execution engine powering the K Framework
Icepeak is a fast JSON document store with push notification support.
Effectful Raw handler for Servant servers.
A logical authorization system
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Beginnings of a parser for a new functional language