清华成绩刮刮乐
☆20Feb 17, 2014Updated 12 years ago
Alternatives and similar repositories for thu-scratch
Users that are interested in thu-scratch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- ☆17Apr 3, 2022Updated 4 years ago
- Tsinghua University curriculum -> iCalendar format (.ics) -> Google Calendar, etc.☆23Dec 22, 2017Updated 8 years ago
- A telegram bot to balance parenthesis in the world☆15Mar 30, 2026Updated last month
- Build a Debian APT repository from packages on GitHub☆16Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- My RV64 CPU (Work in progress)☆19Dec 22, 2022Updated 3 years ago
- 与清华大学 (Tsinghua University) 相关的有趣 repo 整合☆35Feb 20, 2019Updated 7 years ago
- ☆43Sep 16, 2021Updated 4 years ago
- Web console for Canokeys☆23Mar 4, 2023Updated 3 years ago
- ☆20Dec 11, 2024Updated last year
- Run Rocket Chip on VCU128☆30Oct 21, 2025Updated 7 months ago
- 全方位控诉Windows的使用和开发体验☆12Jun 30, 2020Updated 5 years ago
- ☆21Apr 7, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 🤖 A telegram bot to monitor Tsinghua web learning and push new updates to user in Telegram.☆12Mar 20, 2026Updated 2 months ago
- 面向清华大学学生的校园课程和日程管理APP☆24Sep 16, 2020Updated 5 years ago
- More advanced Taichi examples☆13Jun 16, 2021Updated 4 years ago
- Mr. Chi simulator!☆26Jul 24, 2020Updated 5 years ago
- Make custom traceroute result on a single linux box.☆10Feb 18, 2015Updated 11 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 6 months ago
- A simple program to make your Linux server act as TCP Transparent Proxy.☆25Mar 7, 2020Updated 6 years ago
- Random config (v2, clean history)☆26May 12, 2026Updated last week
- Open-source RISC-V cryptographic hardware token, RTL repo☆20Nov 9, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A small app to generate a long path in traceroute.☆33Jan 9, 2026Updated 4 months ago
- Junk file generator script☆31May 8, 2021Updated 5 years ago
- Cloth Simulation☆59Mar 16, 2024Updated 2 years ago
- 莉沫酱存储！☆12Dec 21, 2024Updated last year
- 镜像源自动同步脚本☆16Jan 6, 2021Updated 5 years ago
- jie.ac.cn 中国杰学院☆11Jun 27, 2023Updated 2 years ago
- Go-cqhttp Plugin for EFB QQ Slave.☆32May 18, 2026Updated last week
- 用LaTeX高效排版化学方程式☆23Apr 22, 2017Updated 9 years ago
- DKMS package for various Phytium/飞腾 off-tree modules (tested with D2000/8)☆12Sep 30, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A mesh🕸️ network configurator based on Wireguard☆12Sep 9, 2020Updated 5 years ago
- The frontend of Peking University Website.☆14Dec 10, 2025Updated 5 months ago
- ☆12Jul 3, 2018Updated 7 years ago
- [No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support☆43Aug 15, 2025Updated 9 months ago
- A git repo that is creepy☆15Sep 14, 2020Updated 5 years ago
- ☆10Apr 2, 2016Updated 10 years ago
- A repository for code used in the paper "On the precision loss in approximate homomorphic encryption"☆11Jan 16, 2025Updated last year