Files associated with the course Interactive Theorem Proving at LMU SoSe 2025

Server to host Lean games

Things to learn for new students in the Lab for AI chips and systems of BJTU .

Neovim support for the Lean theorem prover

An implementation of buddy memory allocation

Introduction to Computation and Programming Using Python

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

Book of Elementary Functional Algorithms and Data structures

Writing an OS in Rust

Supplementary material for Formalisms Every Computer Scientist Should Know 2024 (course at ISTA)

Catalog Of Math Problems Formalized In Lean

Some papers on "Lambda Calculus"

Introduction to Computation and Programming Using Python

A book about Rust Data Structures and Algorithms.

什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

This is a repository for assignments of the course Principles of Programming Languages

Solutions and Notes for Labs of Computer Systems: A Programmer's Perspective 3rd Editon // 《深入理解计算机系统》第三版的实验文件、解答与笔记

The docker source and materials for CS:APP labs

Logic and Mechanized Reasoning

IT e-books

A notional machine for the SMoL languages

The math library of Lean 4

Haskell versions of code and exercises from Andrew Appel's "Modern Compiler Implementation"

A formally verified compiler for a simple language with numbers and sums

Here's my collection of tutorials about Lean

PLCT实验室的公开演讲，或者决定公开的组内报告

the resources I use to learn computer science in my spare time