KLEE Symbolic Execution Engine

A collection of out-of-tree LLVM passes for teaching and learning

A comic app built with Flutter, supporting multiple comic sources.

A plugin for Obsidian that allows you to make diagrams with Penrose (https://penrose.cs.cmu.edu/).

A repository of links with advice related to grad school applications, research, phd etc

Programmable debugger

A LLVM-based static analysis framework.

Csmith, a random generator of C programs

A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.

《软件基础》中译版 Software Foundations Chinese Translation

A visualized debugging framework to aid in understanding the Linux kernel.

A code visualization tool for C and C

Collection of courses, papers, and experiments focusing on distributed systems

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Scalable Distributed System Model Checking with Specification-Level State Exploration

😊这是一个番剧自动识别剧名剧集 自动重命名 自动整理工具,用来配合QBittorrent实现Rss订阅下载全自动刮削一条龙到家式爽歪歪服务!

C Compiler written in TeX

What are learned in tiktoken?

The official Vim repository

Kernel extension that enables TSO for Apple silicon processes

Repository for EPFL's CS-552: Modern NLP class

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

The code of several works on oimo.io/works

The lyzh's emulator

The MOSAIC Operating Systems Model and Checker