我担任主讲或助教的正式课程、辅学、讨论班等记录
☆16Jul 15, 2026Updated 3 weeks ago
Alternatives and similar repositories for Teach
Users that are interested in Teach are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jul 26, 2026Updated 2 weeks ago
- NoughtQ's notebook☆131Aug 2, 2026Updated last week
- 浙江大学操作系统课程仓库：文档☆18Jan 14, 2026Updated 6 months ago
- A MkDocs plugin that generate statistic data of a site☆37Aug 10, 2025Updated last year
- A MkDocs plugin that create changelog in a page☆34Nov 22, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A MkDocs plugin that uses heti to improve typesetting☆13Sep 30, 2023Updated 2 years ago
- Course Lab documents for HPC 101 (a.k.a. 课程综合实践 Ⅰ / CS1030M）of Zhejiang University☆103Updated this week
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- ☆10Jul 23, 2023Updated 3 years ago
- Notebook on computer science, linguistics, deep learning, opinions, and life. Making it bilingual (en/zh).☆14May 25, 2026Updated 2 months ago
- Dart library to parse FIDO2 request / response and interactive with FIDO2 (CTAP) authenticators.☆14Sep 9, 2025Updated 11 months ago
- ☆84Jan 28, 2024Updated 2 years ago
- A qq-bot named 二狗.☆11Jul 16, 2022Updated 4 years ago
- 浙江大学编译原理大作业(Project of ZJU Compiler Principle Course)☆39Jun 11, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 周杨叶的blog☆20Sep 16, 2025Updated 10 months ago
- 线性代数：未竟之美☆728May 4, 2026Updated 3 months ago
- 浙江大学图灵班学长组资料汇总网站☆75Jul 25, 2026Updated 2 weeks ago
- (CVPR 26) Explore with Long-term Memory: A Benchmark and Multimodal LLM-based Reinforcement Learning Framework for Embodied Exploration☆38Mar 8, 2026Updated 5 months ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆31Updated this week
- An implementation of vfmd in C++☆19Jun 23, 2014Updated 12 years ago
- 浙江大学 学在浙大/智云课堂 辅助脚本☆57Dec 5, 2024Updated last year
- 服务于浙大学生的时间管理器☆323Jul 17, 2026Updated 3 weeks ago
- 0xAA Wallet is a AA (Account Abstraction) wallet focused on developer experience, which helps developers build ERC4337 compatible Dapp.☆11Apr 1, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago
- Random Tips and Writeups.☆14Feb 21, 2019Updated 7 years ago
- my notebook☆80Jun 1, 2026Updated 2 months ago
- Zicx's Notebook.☆10Nov 7, 2025Updated 9 months ago
- 为 Minecraft.net 的博文提供译文参考目录。☆12Updated this week
- A PTA exported exercise paper format helper which cleans the results.☆12Jan 7, 2025Updated last year
- ☆10Feb 20, 2021Updated 5 years ago
- 智能体设计与工作流编排赋能的数据库系统学习平台. Database system learning platform empowered by agent design and workflow orchestration☆57Aug 17, 2025Updated 11 months ago
- This is a paper list about the most important techs and some hard core knowledge about ray tracing.☆28Dec 23, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆107May 13, 2026Updated 2 months ago
- H.O.T.T. using rewriting in Agda☆45Sep 18, 2022Updated 3 years ago
- PathVis visualises traceroutes☆11Jan 25, 2024Updated 2 years ago
- ☆15Sep 25, 2025Updated 10 months ago
- 🐧 Ucanto UCAN RPC in Go☆13Mar 18, 2026Updated 4 months ago
- ☆15Feb 5, 2026Updated 6 months ago
- ☆14Feb 9, 2025Updated last year