Starred repositories
TLA+ model for Raft Leader Leases, and linearizable reads from leader
Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem
Generate and verify lockfiles for GitHub Actions dependencies.
This is the place where the firmware sits
A WASM virtual machine written in Go with 0 dependencies
A web-based ASCII and Unicode diagram builder written in vanilla Javascript
Grab your DNS logs, detect anomalies, and finally understand what's happening on your network. The missing piece between DNS servers and your data stack.
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
go-pq-cdc is lightweight and efficient Change Data Capture (CDC) system designed for PostgreSQL
s&box is a modern game engine, built on Valve's Source 2 and the latest .NET technology, it provides a modern intuitive editor for creating games
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
StackGres Operator, Full Stack PostgreSQL on Kubernetes // !! Mirror repository of https://gitlab.com/ongresinc/stackgres, only accept Merge Requests there.
Postgres extension and service for automated failover and high-availability
OrthoRoute: A GPU-accelerated PCB autorouter for KiCad
Peek inside Parquet files right from your terminal
boringSQL / regresql
Forked from dimitri/regresqlRegression Testing your SQL queries
Sample database for SQL Server, Oracle, MySQL, PostgreSQL, SQLite, DB2
stapelberg / postgrestest
Forked from zombiezen/postgrestestA Go test harness that starts an ephemeral PostgreSQL server
Wonk is a tool for combining a set of AWS policy files into smaller compiled policy sets.
Reitti is a comprehensive personal location tracking and analysis application that helps you understand your movement patterns and significant places. The name "Reitti" comes from Finnish, meaning …