A type-safe HTTP client for Android and the JVM

浙江大学课程攻略共享计划

清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

A Clash Client For OpenWrt

你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码

AI education materials for Chinese students, teachers and IT professionals.

Defines a common protocol for language servers.

💯 2025年系统架构设计师（软考高级）备考资料。

Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。

The Power of Prolog: Introduction to modern Prolog

安全类各家文库大乱斗

A Scanning Tunneling Microscope Project

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

lookup and highlight english words on any web page

Cross-platform app with unique features for editing and organizing handwritten notes

Know the things about math where you want to know immediately.

Source code of summer.haskell.org

General-Purpose Computer Algebra System as an EDSL in Haskell

Visualize your nix derivation dependency graph as an interactive treemap

home page

北京交通大学软件工程学习课程笔记，Beijing Jiaotong University Software Engineering course notes