Lists (8)
Sort Name ascending (A-Z)
Starred repositories
Gossip-based service discovery (and more) for large distributed systems.
Papers from the computer science community to read and discuss.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
💫 Toolkit to help you get started with Spec-Driven Development
The Advanced Linux Sound Architecture (ALSA) - utilities
Official Elixir Language Server Protocol implementation
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
A library for efficient similarity search and clustering of dense vectors.
Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
How to reduce complexity and move faster? Just Postgres for everything.
In-depth tutorials on LLMs, RAGs and real-world AI agent applications.
Curated coding interview preparation materials for busy software engineers
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Automated database platform for PostgreSQL® - Your own DBaaS.
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
An operating system designed for hosting containers
Exploit for CVE-2025-21756 for Linux kernel 6.6.75. My first linux kernel exploit!