Infrastructure for nixos.kr — Korean NixOS community knowledge base

Version control system for AI agents

Zero-config log multiplexer with built-in MCP server

Control Neovim from shells running inside Neovim.

⚡ High-performance job queue for Bun. SQLite persistence, DLQ, cron jobs, S3 backups. Built for AI agents and automation

🦀 Small exercises to get you used to reading and writing Rust code!

build your own text editor

🐷 Tiny and fast fuzzy search in Go

experimental raft storage

From Zero to QED: An informal introduction to formality with Lean 4

A fault-tolerant distributed KV store

Session persistence for terminal processes

A fast binary log for Go applications

An ergonomic ultra low-profile, split keyboard with BLE wireless, 3×5+2 layout, designed for portability.

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

A streaming multimodal database for Edge AI, and Edge Computing.

Aeron zig wrapper library

Eclipse iceoryx2™ - true zero-copy inter-process-communication with a Rust core

An example demonstrating how to maintain consistency in the absence of transactions, using the Write Last, Read First principle featuring TigerBeetle

TigerBeetle Ticket Booking Example

Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Ships now with an embedded key-value store.

IP addresses break, dial keys instead. Modular networking stack in Rust.

eBPF-based workload orchestration platform, built for Cloud Native ecosystem.

spawn ephemeral development environments in containers. Like nix-shell only more so!

Embedded durable workflows for Golang similar to DTFx/Cadence/Temporal

Lightweight Durable Golang Workflows

Realization jsmn on a pure Zig

Low profile split keyboard with Corne 42 Layout and Cerry ULP switches. (6mm height)