Stars
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
得意黑 Smiley Sans：一款在人文观感和几何特征中寻找平衡的中文黑体
A collection of resources on modern C++
A collection of resources and papers on Diffusion Models
A booklet on machine learning systems design with exercises. NOT the repo for the book "Designing Machine Learning Systems", which is `dmls-book`
BELLE: Be Everyone's Large Language model Engine（开源中文对话大模型）
A complete web-based remote monitoring and management web site. Once setup you can install agents and perform remote desktop session to devices on the local network or over the Internet.
Instruction Tuning with GPT-4
A CPU+GPU Profiling library that provides access to timeline traces and hardware performance counters.
Home for "How To Scale Your Model", a short blog-style textbook about scaling LLMs on TPUs
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
Chinese translation of Learn you a Haskell for great good
A book about category theory
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
🦑 Informal definitions of terms used in concurrency modeling
A collection of tools for writing technical documents that mix Coq code and prose.
(Try to be) a Comprehensive Computer Science Learning Map.
Benchmarks for capture-avoiding substitution
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
We combat sloppy arguments in competitive programming and raise the standard of rigor
Verify naive = datafrog-opt, in rust/polonius
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml