mirrors.zju.edu.cn
☆21Sep 4, 2021Updated 5 years ago
Alternatives and similar repositories for mirrors-web
Users that are interested in mirrors-web are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- gRPC service for Zhejiang University Intl Campus.☆13Feb 17, 2019Updated 7 years ago
- Master thesis template of college of Computer Science, Zhejiang University, can easily be extended to the doctoral thesis and engineering…☆12Mar 15, 2016Updated 10 years ago
- a basic jvm☆12Jan 22, 2018Updated 8 years ago
- 求是潮网站后端开发入门☆15Oct 10, 2014Updated 12 years ago
- Sample project using sinatra and faye-websocket☆21Feb 9, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Translate MySQLdb doc into Chinese. 我每天翻译一点，也多了解一点mysql的接口。☆14Mar 25, 2016Updated 10 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Task scheduler for open source mirror site (initially for https://mirror.bjtu.edu.cn)☆206Apr 28, 2026Updated 6 months ago
- Color schemes generator based on machine learning☆12Apr 19, 2015Updated 11 years ago
- An input method frontend for fcitx. It's a standalone application written in Qt/QML.☆16Dec 29, 2018Updated 7 years ago
- Colors clustering based on K-means algorithm & CIE76☆12Aug 17, 2014Updated 12 years ago
- Realizes to write macros in any scripts into any languages.☆23Mar 20, 2017Updated 9 years ago
- 基于 rsync 和 ssh 的远程备份脚本，利用 btrfs snapshot 实现增量备份……☆32Mar 20, 2018Updated 8 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- encode everything to core socialist values, written in rust☆19Apr 15, 2019Updated 7 years ago
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- 求是潮前端培训讲义☆30Nov 29, 2013Updated 12 years ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- LaTeX templates for ZJU bachlor thesis☆14May 7, 2012Updated 14 years ago
- Contains documentation and binary image releases for the HPE Storage Array Exporter for Prometheus.☆11May 29, 2026Updated 5 months ago
- Run android with S2E☆31Dec 11, 2014Updated 11 years ago
- grafana 企业微信 报警系统☆14Feb 28, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A foreign data wrapper for PostgreSQL allowing easy accessing of Apache ORC formatted data files.☆11Sep 21, 2020Updated 6 years ago
- Tencent HTML 5 Cloud Note☆17Jun 25, 2012Updated 14 years ago
- 求是潮移动平台☆14Apr 8, 2013Updated 13 years ago
- 《粵音資料集叢》粵音音節錄音檔☆11Apr 26, 2026Updated 6 months ago
- Generate custom Mac OS folder icons with a desired image as stamp☆12Oct 3, 2023Updated 3 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- Yum repository component of Wise2C Breeze project☆11Dec 7, 2025Updated 10 months ago
- ☆18Jun 22, 2021Updated 5 years ago
- Isabelle LLVM Code Generator and Refinement☆30Oct 19, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Joint Online Judge☆21Oct 29, 2023Updated 3 years ago
- 将浙江大学教务网课程导出为 iCalendar 文件（可用于 iCal、Google Calendar 等）。☆17Aug 6, 2017Updated 9 years ago
- ☆26Aug 23, 2024Updated 2 years ago
- L'application pour bloquer un paquet, snipping, analyser le réseau☆11Dec 23, 2016Updated 9 years ago
- A set of config files for monitoring different services.☆10May 26, 2023Updated 3 years ago
- Eevee is a local OI(and perhaps ACM in the future) judger for Linux. It currently only works in X86 (32-bit).☆74Sep 4, 2013Updated 13 years ago
- vmware vcenter exporter for prometheus☆11Sep 22, 2026Updated last month