PostgREST / postgrest
REST API for any Postgres database
See what the GitHub community is most excited about today.
REST API for any Postgres database
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Horn Clause Constraint Solving for Liquid Types
An advanced keyboard manager
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
Koka language compiler and interpreter
🇪🇺 Wire back-end services
A strongly-typed language that compiles to JavaScript
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A shell script which checks your $HOME for unwanted files and directories.
grob is a robots.txt fetcher, cacher, parser, and rule checker.
The core component that is used to participate in a Cardano decentralised blockchain.
Dockerfile linter, validate inline bash, written in Haskell
A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Haskell bindings for the Botan cryptography library