Mahiru Kagura's repositories
MikanCompiler
A lisp to x86 compiler.
abseil-cpp
Abseil Common Libraries (C++)
aos_course_info
advanced os course info & some os papers
awesome-database-learning
A list of learning materials to understand databases internals
Beijing_Daxuexi_Simple
北京 青年大学习 使用Github Actions自动完成
bpf-developer-tutorial
eBPF developer tutorials to build CO-RE libbpf tools: generated by ChatGPT and teach ChatGPT to write eBPF programs! ( eBPF 工具开发实践教程: 通过例子学习 eBPF）
bril
an educational compiler intermediate representation
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
bustub
The BusTub Relational Database Management System (Educational)
db-monthly
阿里云数据库内核月报分类整理（定时更新）。
distributed-consensus-reading-list
A list of papers about distributed consensus.
examples
A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
frap
Formal Reasoning About Programs
GPU-Puzzles
Solve puzzles. Learn CUDA.
grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
linux
Linux kernel source tree
LLVM-Study-Notes
Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
mini-lsm
A tutorial of building an LSM-Tree storage engine in a week! (WIP)
Mortal
🚀🀄️ A fast and strong AI for riichi mahjong, powered by deep reinforcement learning.
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
RealWorldOcaml
V2 of Real World OCaml
Tai-e-assignments
Tai-e assignments for static program analysis
v8
The official mirror of the V8 Git repository