Specula: An agentic tool for finding deep bugs in system code using TLA+

PostgreSQL in-database durable execution

A structured course built from personal study notes of the book Linux Basics for Hackers by OccupyTheWeb.

Property-based testing for C, built on Hypothesis

The entrance repository of Markdown presentation ecosystem

Official Git mirror of the SQLite source tree

An open-source recreation of Reddit's /r/place.

A local-first personal finance app

The Active Consistency Engine of pgEdge

Cross-platform emulator collection distributed with Docker images.

Black-box transactional safety checker based on cycle detection

pgEdge Postgres Control Plane

A free, source-available and fair-code licensed mac app cleaner

A minimalist extension and utility pair for time series analysis and visualization of PostgreSQL internal statistics.

easy-rsa - Simple shell based CA utility

the only cheat sheet you need

A command line tool for drawing tree structures with ascii characters.

PostgreSQL logical replication library for Go.

VIM Master: in-browser game that teaches core Vim motions and editing commands through short, focused levels.

multi progress bar for Go cli applications

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Export Prometheus metrics from SQL queries

A PostgreSQL metric exporter for Prometheus

🚀 A blazingly fast, memory-safe rewrite of the classic Unix 'yes' command. Written in Rust! 🦀

A golang formatter that fixes long lines

Standard Go Project Layout

Developer-first error tracking and performance monitoring

CNCF Jaeger, a Distributed Tracing Platform

🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive.