Aoyang Yu's repositories
ZJUCKC-C-Learning-Assistence
浙江大学竺可桢学院C语言程序设计辅学计划公共仓库。
reproduce-papers
Reproducing results in papers to understand them.
System-Xpart
A tiny OS kernel with a shell.
nbe-for-stlc
Practising Normalization by Evaluation on STLC.
CastleAdventure
A C++ CLI game as a course project of Object-Oriented Programming.
SE-doctor-backend
Software Engineering course project, backend for doctor.
agda-mode-vscode
agda-mode on VS Code
agda-vim
Agda interaction in vim
athens
Free self-hosted desktop app: https://github.com/athensresearch/athens/releases; Try the demo at https://athensresearch.github.io/athens; Docs viewable at https://athensresearch.github.io/docs/
Cyclist
A RISC-V single cycle processor with RV32I implemented.
diatom
The diatom programming language
GoldenDict_zh_manual
GoldenDict 中文用户手册
IntroCyberSecur-IOT
Course Introduction to Cyber Security, theme IOT, experiment
jekyll-TeXt-theme
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
own
My personal oi blog system.
permui.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
zju-icicles
浙江大学课程攻略共享计划