Custom firmware for embedded devices and sensors around my home.

[POC] Nix evaluator compiled for an ESP32 device

Tool for French & US citizens struggling with filing taxes for income from company equity

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

Neovim ported to Rust 🦀

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.