A complement to pgvector for high performance, cost efficient vector search on large workloads.

A simple, stateless NixOS deployment tool

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

[DEPRECATED] Tables, types and functions supporting Promscale

PostgreSQL Languages AST and statements prettifier: master branch covers PG10, v2 branch covers PG12, v3 covers PG13, v4 covers PG14, v5 covers PG15, v6 covers PG16

Spot vulnerabilities in postgres SQL scripts

[DEPRECATED] Promscale is a unified metric and trace observability backend for Prometheus, Jaeger and OpenTelemetry built on PostgreSQL and TimescaleDB.

Build Postgres Extensions with Rust!

Query git repositories with SQL. Generate reports, perform status checks, analyze codebases. 🔍 📊

SQL interface to git repositories, written in Go. https://docs.sourced.tech/gitbase

HTTP load generator, ApacheBench (ab) replacement

Reformats Java source code to comply with Google Java Style.

Maintainable configuration files

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

🧰 A zero trust swiss army knife for working with X509, OAuth, JWT, OATH OTP, etc.

Generates TypeScript from Java - JSON declarations, REST service client

An accounting tool inspired by beancount and ledger

jOOQ is the best way to write SQL in Java

doctest runner against Elm-lang source files

A Dependently Typed Functional Programming Language

Functional programming inspired by ML for the Erlang VM

Issues board used for Laravel internals discussions.

Swiss Python Summit issue tracker

Optional static typing for Python

A generic makefile for use with small/medium C and C projects.

Airtunes emulator. official repo moved! now at <https://github.com/abrasive/shairport>

The Thing System is a set of software components and network protocols that aims to fix the Internet of Things. Our steward software is written in node.js making it both portable and easily extensi…

🏡 Open source home automation that puts local control and privacy first.