Lists (27)
💻 algorithms
5 repositories
📚 Books
10 repositories
C/CPP
17 repositories
Code Reading
6 repositories
💻 Compilers
36 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
9 repositories
💻 Databases
25 repositories
Distributed Computing
1 repository
Formal Methods
26 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
1 repository
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
21 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
3 repositories
Research
35 repositories
RISC-V
4 repositories
TLA+
12 repositories
Tools
2 repositories
Starred repositories
6
results
for template starred repositories
Clear filter
A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.
Docs on CPL (Lectures on CPL at software.nju.edu.cn)
A course to build the SQL layer of a distributed database.
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
A course to build distributed key-value service based on TiKV model
Template for RevealJS talk slides using Pug, KaTeX, Stylus, CoffeeScript, SVG Tiler, SVG.js