A minimal, secure Python interpreter written in Rust for use by AI

web site of robotics.rs. See index.md.

Verified Intermediate Representation

An evaluation tool for memory safety sanitizers.

The Missing Semester of Your CS Education 📚

The modern video player for macOS.

Verified Rust for low-level systems code

A modern, portable, easy to use crypto library.

Defines the Rust borrow checker.

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.

A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation

Program dependence graph in LLVM

Yet Another Random Program Generator

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Examples of how to create colorful, annotated equations in Latex using Tikz.

A command-line benchmarking tool

A demo implementation of a simple dependently-typed language

Automatically generates Rust FFI bindings to C (and some C++) libraries.

A Pointer Analysis Framework for Rust

An implementation of Usenix Sec'24 MetaSafe on Usenix Sec'23 TRust

The lazypoline syscall interposer

Fast and simple benchmarking for Rust projects

Statistics-driven benchmarking library for Rust

mimalloc is a compact general purpose allocator with excellent performance.

Low-Level Software Security for Compiler Developers

SGX从入门到放弃

Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University