The Noperthedron does not have Rupert Property: a proof in Lean4

Multi-repo coding agent orchestration in your terminal.

A verification toolchain for Rust programs

Kani Rust Verifier

The Things Network Application SDK for Python

A full Rust implementation of a mermaid diagram parser & renderer

Verified Rust for low-level systems code

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Declarative infrastructure for my hobbyist datacenter.

Personal coding agents config

The open source coding agent.

A code formatter for nushell

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

A set of tools for emulating browser behavior in jsdom environment

LLM inference in C/C++

aider is AI pair programming in your terminal

Cargo audit in a Docker container

Supply chain security for ML

NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…

IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors

a structural diff that understands syntax 🟥🟩

Source code of Ferrocene, safety-critical Rust toolchain

Datadog shared rust-based library. For now only used in other products (e.g. Ruby or PHP libraries).

A high-performance, concurrent, content-addressable disk cache, with support for both sync and async APIs. 💩💵 but for your 🦀

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

A memory safe implementation of sudo and su.

A metrics ecosystem for Rust.

The reference implementation of Sass, written in Dart.

Build, bundle & ship your Rust WASM application to the web.

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM