Stars
OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
Towards creating ready-to-run examples from "A Survivor's Guide to Java Program Analysis with Soot" and Vallee-Rai's Master's thesis
My implementation of the Tai-e framework, the online course Static Program Analysis programming assignment.
An easy-to-learn/use static analysis framework for Java
A curated list of Integrated Development Environments (IDEs) and related tools that can enhance your coding experience and boost your productivity.
⭐Github Ranking⭐ Github stars and forks ranking list. Github Top100 stars list of different languages. Automatically update daily. | Github仓库排名，每日自动更新
Master programming by recreating your favorite technologies from scratch.
Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
[SOSP'25] Automatic checker synthesis for system-level static analysis
Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)
A collaborative project to collect datasets in Indonesian languages.
eBPF-based Networking, Security, and Observability
CS5584 Class Project - Embedding Machine Learning Into P4 Programmable Switches
Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
[SIGMOD 25] LimeQO: Low Rank Learning for Offline Query Optimization
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.