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

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

a structural diff that understands syntax 🟥🟩

open source training courses about distributed database and distributed systems

Answering the question nobody asked: what if you wanted to text your friends using only ARP?

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

A model checker for implementing distributed systems.

Paper backup generator suitable for long-term storage.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Rust tool to collect and aggregate code coverage data for multiple source files

Lightweight fuzzing of a memory snapshot using KVM

Super-parallel Python port of the C-Reduce

syn flood protection

Sqllogictest parser and runner in Rust, with extensions.

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

snare: GitHub webhooks daemon

Simple grammar-based test case generator

Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns

Copy text from remote machine into local clipboard