-
-
pku3b Public
🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）, 支持查看/提交作业、下载课程回放.
-
-
nu_plugin_hashes Public
Forked from ArmoredPony/nu_plugin_hashesA Nushell plugin that adds 63 cryptographic hash functions from Hashes project
Rust MIT License UpdatedMay 12, 2026 -
-
oi-code-editor Public
Vue3 code editor component based on codemirror6, for OI
TypeScript Apache License 2.0 UpdatedMar 20, 2026 -
-
excalidraw Public
Forked from excalidraw/excalidrawVirtual whiteboard for sketching hand-drawn like diagrams
TypeScript MIT License UpdatedMar 2, 2026 -
serde_sc Public
describing Rust types as a schema in terms of the Serde data model.
Rust Apache License 2.0 UpdatedJan 17, 2026 -
diesel Public
Forked from diesel-rs/dieselA safe, extensible ORM and Query Builder for Rust
Rust Apache License 2.0 UpdatedJan 16, 2026 -
-
-
y86-pipe-rs Public
Y86 Pipeline Simulator Rust Implementation, employed in PKU's ICS 2024 archlab
-
lamcalc Public
An implementation and tutorial for Lambda Calculus in Rust
-
-
-
mp4-rust Public
Forked from RealSprint/mp4-rust🎥 MP4 reader and writer library in Rust! 🦀
Rust MIT License UpdatedFeb 26, 2025 -
nuxt-tailwindcss-template Public template
Nuxt 3 + TailwindCSS Template Project
TypeScript UpdatedDec 11, 2024 -
-
minted-directory Public
A SEO optimized directory starter kit that does not require a database.
Vue MIT License UpdatedOct 26, 2024 -
-
cvpr-wclop-workshop Public
1st CVPR Workshop and Challenge on Category-Level Object Pose Estimation in the Wild
Vue UpdatedOct 19, 2024 -
-
markdown-rs Public
Forked from wooorm/markdown-rsCommonMark compliant markdown parser in Rust with ASTs and extensions
Rust MIT License UpdatedJul 12, 2023 -
-
noi-written-test-practice Public
NOI 在线笔试题库
-
-
hexo-theme-essence Public
Unpretentious, functional and darkmode featured theme for Hexo.
-
mirror-frontend Public
Forked from lcpu-club/mirror-frontendPKU Mirror Frontend
Vue MIT License UpdatedMar 4, 2023 -
agda-mathlib Public
Try everying to define mathematical objects and proof theorems in agda
Agda MIT License UpdatedDec 12, 2022
{{ message }}