Applied offensive security with Rust - https://kerkour.com/black-hat-rust

OS Projects

OS Project (Spring 2018)

Isabelle REPL

A proof assistant adapter designed for machine learning

LRVM - A lightweight but powerful virtual machine runtime written in Rust 💻

我的学习资料，包括书籍、网址等

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Verifying the Rust standard library

A Toy C Compiler

🚂 🦀 The one-person framework for Rust for side-projects and startups

Next-gen compile-time-checked builder generator, named function's arguments, and more!

Exploring Patrick Cousot's Abstract Interpretation Course.

MLIR For Beginners tutorial

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

for programming contest

Novel implementation of a Trie data structure optimized for small, sparse maps

Lean4 Logic Formalization

A very fast Key-Value store in pure rust

A collection of rust algorithms for competitive programming

A web browser that plays old world blues to build new world hope

Code Snippets for Competitive Programming

Schema-driven web server framework.

To practice your competitive programming skills, try solving daily Codeforces problems!

A UNIX-like kernel for the i386 architecture

Simplified Chinese translation for the LLVM Tutorial

The MiniZinc compiler