permui
Senior in Computer Science, interested in programming language theory.
Zhejiang UniversityHangzhou, China
Pinned Repositories
agda-mode-vscode
agda-mode on VS Code
calocom
An awesome language and its compiler.
CastleAdventure
A C++ CLI game as a course project of Object-Oriented Programming.
MeSQL
A basic DBMS as the course project of Database System.
nbe-for-stlc
Practising Normalization by Evaluation on STLC.
reproduce-papers
Reproducing results in papers to understand them.
SE-doctor-backend
Software Engineering course project, backend for doctor.
System-Xpart
A tiny OS kernel with a shell.
SystemF1
Implementation of the first-order typed lambda calculus as a CLI proof system.
ZJUCKC-C-Learning-Assistence
浙江大学竺可桢学院C语言程序设计辅学计划公共仓库。
permui's Repositories
permui/calocom
An awesome language and its compiler.
permui/MeSQL
A basic DBMS as the course project of Database System.
permui/ZJUCKC-C-Learning-Assistence
浙江大学竺可桢学院C语言程序设计辅学计划公共仓库。
permui/reproduce-papers
Reproducing results in papers to understand them.
permui/System-Xpart
A tiny OS kernel with a shell.
permui/nbe-for-stlc
Practising Normalization by Evaluation on STLC.
permui/CastleAdventure
A C++ CLI game as a course project of Object-Oriented Programming.
permui/SE-doctor-backend
Software Engineering course project, backend for doctor.
permui/SystemF1
Implementation of the first-order typed lambda calculus as a CLI proof system.
permui/agda-mode-vscode
agda-mode on VS Code
permui/agda-vim
Agda interaction in vim
permui/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/
permui/Cyclist
A RISC-V single cycle processor with RV32I implemented.
permui/diatom
The diatom programming language
permui/GoldenDict_zh_manual
GoldenDict 中文用户手册
permui/IntroCyberSecur-IOT
Course Introduction to Cyber Security, theme IOT, experiment
permui/jekyll-TeXt-theme
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
permui/koodo-reader
A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux and Web
permui/micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
permui/own
My personal oi blog system.
permui/permui.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
permui/zju-icicles
浙江大学课程攻略共享计划
permui/zju-oslab-stu