Starred repositories
Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…
NixOS module: Lock screen when phone disconnects from USB
A PostgreSQL extension providing two high-performance Table Access Methods designed for analytical and HTAP workloads — with **significant storage savings and no meaningful query performance penalt…
A SQL extension for declarative data visualisation based on the Grammar of Graphics.
Kepler.gl is a powerful open source geospatial analysis tool for large-scale data sets.
Convert OSM to street networks with detailed geometry
🚀 Open source Claude Code CLI source code. Advanced AI Agent for developers. Includes TypeScript codebase for LLM tool-calling, agentic workflows, and terminal UI. Remember this is just the skeleto…
Lean tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM.
Real-time streaming ingestion (CDC) for HTAP in PostgreSQL
A Beginner-Friendly Expert-level PostgreSQL Rescue Tool. Designed for Postgresql Database Rescue.
An eBPF based query planning tracer for PostgreSQL
An eBPF based lock tracer for PostgreSQL
A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.
A type-safe, component-based language for building reactive WASM web apps.
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
Text embeddings calculation for Postgres, without extensions. Simple, atomic, supports OpenAI/Anthropic models. Does not require any additional extensions, making it suitable for managed databases …
A suite of tools to develop RAG, semantic search, and other AI applications more easily with PostgreSQL
pg_lake: Postgres with Iceberg and data lake access
Hiqlite - highly-available, embeddable, raft-based SQLite + cache
A daily-drivable experimental os, featuring finit as pid 1, to explore the NixOS design space
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.