OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)

Monitoring mixin for Ingress-nginx. A set of Grafana dashboards and Prometheus rules for Ingress-nginx.

KeySeeBee is a split ergo keyboard. It is only 2 PCB (so the name) with (almost) only SMD components on it. It's only a keyboard, no LED, no display, nothing more than keys and USB.

How to make CPython faster.

Create beautiful system diagrams with Go

Docker files for a Gazebo simulation of a sailing robot

A programming language with static memory management based on λ-calculus

LLVM toolchain for bazel

An upscaled version of scientifica.

The Journal of Open Source Software

Smash the state. Ⓐ

An easy to use, easy to deploy crypto library

Spawns lightweight nixos vms in a shell

A vector PDF of the official mission logo of NROL-39 released via FOIA

Single dependency Kubernetes clusters for local testing, experimenting and development

A controller to deploy and manage etcd clusters inside of Kubernetes

Readings in Databases

A collection of awesome CRDT resources

A generative clip-on cover for the CARD10 badge, modeled in OpenSCAD

Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

HPy: a better API for Python

open source training courses about distributed database and distributed systems

Reverse proxy to authenticate to managed Kubernetes API servers via OIDC.

✨🐙 A GPL Licensed Cognitive Behavioral Therapy app for iOS and Android. Currently a teaching tool

KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel

Linux kernel source tree

Class materials for a distributed systems lecture series

SMB3 kernel client and server for Linux