Wenxin Zheng's repositories
peterzheng98.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AutoBuild-OpenWrt
Build OpenWrt using GitHub Actions | 使用 GitHub Actions 编译 OpenWrt | 感谢P3TERX的项目源码|感谢KFERMercer的项目源码
anti-AD
致力于成为中文区命中率最高的广告过滤列表,实现精确的广告屏蔽和隐私保护。anti-AD现已支持AdGuardHome,dnsmasq, Surge,Pi-Hole,smartdns等网络组件。完全兼容常见的广告过滤工具所支持的各种广告过滤列表格式
ravel
A RISC-V simulator
pok
POK kernel. Safe and secure for safety-critical systems.
swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
ccf-deadlines
⏰ CCF recommendation conference Deadline Countdowns / Please star this project, thanks~
sel4-tutorial-bug-fix
We all like seL4.
port-ubuntu-to-M1
port ubuntu 18.04 to M1
linux-m1
Linux kernel source tree
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ParallelOJCompatCompiler
ParallelOJCompatCompiler. For Test
xv6-riscv-mixed
Make xv6 in mixed kernel (RISCV)
C2Mx
C to Mx Code
AppleM1-Benchmark
AppleM1-Benchmark
SurviveSJTUManual
更新2008年版本的《上海交通大学生存手册》gitbook发布于https://survivesjtu.gitbook.io/survivesjtumanual/