Build system, successor to Buck

A Helm chart for deploying Nativelink for Chromium builds on to GKE

Compile Rust compiler using Buck2

Open and extensible continuous delivery solution for Kubernetes. Powered by GitOps Toolkit.

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.

Rust Behavior Trees

Collection of Rust utility libraries, some more useful than others.

A Git-compatible VCS that is both simple and powerful

TUI for Jujutsu/jj

buck2 oci rules

A tool that embosses the needed dependencies on the top level executable

NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It offers drastic…

egraphs + datalog!

egg is a flexible, high-performance e-graph library

A slab allocator with stable references

A new, portable, regular expression language

Scan your Rust crate for semver violations.

Intrusive collections for Rust

Command-line sampling profiler for macOS, Linux, and Windows

A high performance rust-powered UI layout library

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Project Wycheproof tests crypto libraries against known attacks.

Examples of how to create colorful, annotated equations in Latex using Tikz.

Peer-to-peer overlay routing for the Matrix ecosystem

An experiment in scalable routing as an encrypted IPv6 overlay network

parinfer for Neovim

Neovim support for the Lean theorem prover