PostgREST / postgrest
REST API for any Postgres database
See what the GitHub community is most excited about today.
REST API for any Postgres database
Universal markup converter
ShellCheck, a static analysis tool for shell scripts
The Plutus language implementation and tools
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.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
A strongly-typed language that compiles to JavaScript
Haskell implemented with combinators
An advanced keyboard manager
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Official upstream development repository for Cabal and cabal-install
The symbolic execution engine powering the K Framework
🇪🇺 Wire back-end services
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
Liquid Types For Haskell
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
A friendly programming language from the future
Implementation of a Consensus Layer for the Ouroboros family of protocols
A language for intent-centric and declarative decentralised applications