kornholi

typst

A new markup-based typesetting system that is powerful and easy to learn.

atuin

✨ Magical shell history

siyuan

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

rqlite

The lightweight, distributed relational database built on SQLite.

neon

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

rye

a Hassle-Free Python Experience

terraformer

CLI tool to generate terraform files from existing infrastructure (reverse Terraform). Infrastructure to Code

no-more-secrets

A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.

ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

qiling

A True Instrumentable Binary Emulation Framework

smoltcp

a smol tcp/ip stack

quinn

Async-friendly QUIC implementation in Rust

buck2

Build system, successor to Buck

graphic-walker

An open source alternative to Tableau. Embeddable visual analytic

MaterialX

MaterialX is an open standard for the exchange of rich material and look-development content across applications and renderers.

deku

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

nativelink

NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Buck2, Reclient, and other RBE-compatible build systems. It offers drastically faster builds, reduced test flakiness, and specialized hardware.

mitmengine

A MITM (monster-in-the-middle) detection tool. Used to build MALCOLM:

h3

hydroflow

Hydro's low-level dataflow runtime

edk2-rk3588

EDK2 UEFI firmware for Rockchip RK3588 platforms

marble

garbage-collecting on-disk object store, supporting higher level KV stores and databases.

impulse-tracker

Original source code for Impulse Tracker, a music tracker for DOS

tendril

Compact string type for zero-copy parsing

epserde-rs

An ε-copy serialization/deserialization framework for Rust

quic

In-kernel QUIC implementation with Userspace handshake

spire-controller-manager

Kubernetes controller manager that reconciles workload registration and federation relationships.

fdb

FoundationDB client API for Tokio

rules_terraform