Starred repositories
A tool for training models to Vertex on Google Cloud Platform.
A persistent, directed graph generic over edge weights and vertex data, written in Rust.
A purely functional graph library with support for cyclic graphs and weights
Skills for Real Engineers. Straight from my .agents directory.
Move whole tables between databases fast — Postgres, MySQL, ClickHouse, BigQuery. Rust engine, one-line Python API, bounded memory.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A static verifier for Rust, based on the Viper verification infrastructure.
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…
Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk — just hardlinks locally and S3 for sharing.
Definitional implementation of Cedar language and utilities for DRT
Define infrastructure resources using programming constructs and provision them using OpenTofu/Terraform
Staging repo for development of native port of TypeScript
Timoni is a package manager for Kubernetes, powered by CUE and inspired by Helm.
Define Kubernetes native apps and abstractions using object-oriented programming
Companion code for the global workspace interpretability paper
A concise grammar of interactive graphics, built on Vega.
Architecture testing and dependency rules for C++ projects
A unified interface for downloading and loading popular Image Quality Assessment (IQA) datasets.
🔎 🖼️ 🔥PyTorch Toolbox for Image Quality Assessment, including PSNR, SSIM, LPIPS, FID, NIQE, NRQM(Ma), MUSIQ, TOPIQ, NIMA, DBCNN, BRISQUE, PI and more...
Rules engine for .NET, based on the Rete matching algorithm, with internal DSL in C#.
Claude Autoresearch Skill — Autonomous goal-directed iteration for Claude Code. Inspired by Karpathy's autoresearch. Modify → Verify → Keep/Discard → Repeat forever.