Starred repositories
Source code of Ferrocene, safety-critical Rust toolchain
A demo showing WASM component model resources in various environments
A certificate verification library for rustls that uses the operating system's verifier
A precise specification for "Rust lite / MIR plus"
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Supply-chain Levels for Software Artifacts
Fast multi-platform (ELF/PE/MachO) binary checksec written in Rust.
A flexible, modular framework for analyzing binary files.
An impish, cross-platform binary parsing crate, written in Rust
Efficient and minimal collaborative code editor, self-hosted, no database required
Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read
NVIDIA Linux open GPU kernel module source
A fast and small Rust library to make Electron apps more secure.
Rust crate for printing tables on command line.
SPARK 2014 re-implementation of the TweetNaCl crypto library
Super simple lisp interpreter inspired by buildyourownlisp.com, in Rust.
GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
A library OS for Linux multi-process applications, with Intel SGX support
An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.
A code rewrite tool for structural search and replace that supports ~every language.
A strong, compile-time enforced authorization framework for rust applications.