A small repository containing some gdb scripts.

Sample ebpf programs to analyze

SBPF virtual machine

Open-source office suite pack that comprises all the tools you need to work with documents, spreadsheets, presentations, PDFs, and PDF forms on Windows, Linux, and macOS

Measures the conformance of a BPF runtime to the ISA. See https://github.com/microsoft/bpf-conformance for the new home of this repo.

draw.io is a JavaScript, client-side editor for general diagramming.

Bring your Zotero library into Obsidian. Create literature notes, insert citations, and annotate PDFs without leaving your vault.

中国大陆域名, SwitchyOmega 白名单规则, 自动更新

Manage and switch between multiple proxies quickly & easily.

Quickly rewrite git repository history (filter-branch replacement)

An open-source research agent system for your Zotero library.

A Typst package for even better code blocks

A markup-based typesetting system that is powerful and easy to learn.

Sail architecture definition language

QCP (Qualified C Programming), a C program verification tool

Natural Number Game

OCaml debug adapter

Linux kernel source tree

eBPF verifier based on abstract interpretation

eBPF implementation that runs on top of Windows

用AI从0开始制作“研究生模拟器”小游戏

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

An introduction to programming language theory in Agda

Everything about note management. All in Zotero.

Reference setup for Linux kernel development in VSCode

learn how to use BPF/eBPF

基于 zju-ical 项目的 Python 重构版本，使用爬虫获取课程/考试信息，使用 iCal 格式在 Windows / macOS / Linux / Android / Harmony OS / iOS / iPadOS / watchOS / Wear OS 上方便地访问课程表/考试安排