USTC Vlab 远程教学云桌面平台的使用文档
☆46Apr 9, 2026Updated this week
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13May 18, 2024Updated last year
- 基于 mirai, Graia 的 QQ 机器人，可执行 Python, Mathematica, C++ 等代码，可以调用 Copilot 补全、Stable Diffusion (NovelAI) 文字转图片☆16Oct 14, 2022Updated 3 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- Code for "Computer Architecture" in 2020 Spring.☆28Jun 20, 2020Updated 5 years ago
- Example programs for FPGAOL☆14Mar 29, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 中国科学技术大学EPC课程自动预约/优化脚本☆49May 22, 2023Updated 2 years ago
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Mar 11, 2017Updated 9 years ago
- Online judge server for Verilog | verilogoj.ustc.edu.cn☆83Dec 9, 2025Updated 4 months ago
- Follow nginx log, and find out bad guys!☆24Mar 7, 2026Updated last month
- PUPLOOS计算机操作系统，用于操作系统入门教学☆10Apr 19, 2021Updated 4 years ago
- 课程主页☆33Jul 16, 2020Updated 5 years ago
- Official implementation of Acc-SpMM: Accelerating General-purpose Sparse Matrix-Matrix Multiplication with GPU Tensor Cores.☆14Nov 13, 2025Updated 5 months ago
- USTC Physics Experiments Data Processing Tools (大物实验数据处理工具)☆47Mar 16, 2022Updated 4 years ago
- This is a command line interface for the Rec Cloud Service (rec.ustc.edu.cn)☆15Oct 24, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- USTC 算法基础 2022SP 实验☆13Jun 10, 2022Updated 3 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆249May 16, 2021Updated 4 years ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Cosmos三维软件系统☆25Mar 15, 2023Updated 3 years ago
- NSCSCC “龙芯杯” 2024 个人赛 LoongArch 赛道三等奖☆15Aug 17, 2024Updated last year
- 操作系统原理与设计 2022春 李永坤 课程作业 & 实验☆11Mar 30, 2023Updated 3 years ago
- 中科大大物实验数据☆13Mar 5, 2022Updated 4 years ago
- Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".☆16Oct 17, 2022Updated 3 years ago
- Student teamworks summary repository for USTC Compiler H lecture in fall, 2017.☆14Jan 13, 2018Updated 8 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.
- NSCSCC 2023 The Second Prize. TEAM PUA FROM HDU.☆13Mar 29, 2025Updated last year
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆17Aug 8, 2024Updated last year
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated 2 months ago
- Computer Organization and Design labs @USTC, 2021 Spring☆11Jun 28, 2021Updated 4 years ago
- Platform + GUI for hyperparameter optimization of recurrent neural networks (MATLAB).☆10Dec 29, 2021Updated 4 years ago
- 中科大教务系统刷课 Python 小脚本。☆32Sep 28, 2021Updated 4 years ago
- Source files of Fundamental of Artificial Intelligence in the spring semester of junior (USTC 2020 spring)☆12Aug 9, 2020Updated 5 years ago
- 使用JSP+Servlet的构建的简单图床系统/A Simple ImageHost System Built BY JSP+Servlet.☆12Nov 15, 2020Updated 5 years ago
- 026 基于深度学习的水果识别系统-设计展示 python django vue pytorch 深度学习 根据拍摄照片识别图片中果蔬名称 可识别网络图片中的水果类型 可本地上传图片识别水果 推断出识别水果并给出识别分数(可信度) 识别后给出水果介绍☆18May 4, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- USTC SSE 2022高级数据库技术期末实验☆10Jan 13, 2023Updated 3 years ago
- ☆13Updated this week
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- ☆115Jun 27, 2019Updated 6 years ago
- 针对中英文混合的 markdown 文档的格式化工具☆10Apr 26, 2019Updated 6 years ago
- [NeurIPS 2020] "FracTrain: Fractionally Squeezing Bit Savings Both Temporally and Spatially for Efficient DNN Training" by Yonggan Fu, Ha…☆10Feb 13, 2022Updated 4 years ago
- Minimal tool for measuring cost of mode switch☆15Jun 26, 2021Updated 4 years ago