Gallina to Bedrock2 compilation toolkit

A lightweight LLVM python binding for writing JIT compilers

📚 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

c++后台服务器开发面经或八股总结！(有深度有广度，和仅有概念的总结文章不同！)

A step-by-step tutorial for Soot (a Java static analysis framework)

Display (binary) .npy or .npz files in VSCode.

Python3 auto-active verification library (migrated to an Intel project)

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

Main repository of the Vigor NF verification project.

The SAW scripting language.

A collection of modern/faster/saner alternatives to common unix commands.

SeaHorn Verification Framework

Automated Reasoning in Nonlinear Theories of Reals

The Z3 Theorem Prover

Rust 学习之路 > Rust Programming Tutorial, include articles, interview, example, problems.

Tutorial for rCore OS step by step (2nd edition)

Rust version of THU uCore OS. Linux compatible.

Android DownLoadDemo， AsyncTask and Service used

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

Markdown to slides. Easy and smooth.

Simple machine mode program to probe RISC-V control and status registers

Application Kernel for Containers

Linux Kernel for Surface Devices

浙江大学实验报告模板

Java implementation of MIPS instruction set and graphical emulator. Designed for ZJU SWORD-II.

Courses in ZJU

The new Windows Terminal and the original Windows console host, all in the same place!