Lists (1)
Starred repositories
24
stars
written in Rust
Clear filter
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
a structural diff that understands syntax 🟥🟩
open source training courses about distributed database and distributed systems
A command-line tool to generate, analyze, convert and manipulate colors
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.
Source code of Ferrocene, safety-critical Rust toolchain
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
Sqllogictest (dialect with extensions) parser and runner in Rust.
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.
Simple grammar-based test case generator
Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns