受朋友委托，切用且珍惜。SHMTU教务系统抢课辅助软件 Request实现 带GUI界面 已打包
☆11Mar 10, 2024Updated 2 years ago
Alternatives and similar repositories for smu_course_election_helper
Users that are interested in smu_course_election_helper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 27, 2024Updated 2 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated 11 months ago
- ☆17Oct 27, 2024Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Apr 30, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆48Dec 16, 2025Updated 4 months ago
- ☆33Jun 12, 2025Updated 10 months ago
- Enforcing ConnectivityManager.getTetheredIfaces() = []☆11Nov 1, 2019Updated 6 years ago
- ☆10Sep 20, 2023Updated 2 years ago
- Clipboard Regex Replace is a lightweight GoLang application that allows you to automatically apply regex-based replacements to your clipb…☆10Jan 20, 2026Updated 3 months ago
- 上海海事大学 LaTeX 学位论文模板☆52May 29, 2022Updated 3 years ago
- 将VRChat缓存移动到指定目录的小工具, 拥有相对现代并且易用的 GUI.☆35Apr 13, 2026Updated 3 weeks ago
- So USchool Fuck U☆28Jan 8, 2025Updated last year
- ☆36Jan 10, 2025Updated last year
- 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.
- WordsAway for Android - 一个文本防检测应用☆12Jul 23, 2020Updated 5 years ago
- A pypi-mirror docker image☆12Jan 4, 2024Updated 2 years ago
- ☆10Jun 8, 2021Updated 4 years ago
- ☆15Sep 30, 2022Updated 3 years ago
- A collection of GitHub Actions to be used for NSIS workflows☆16Jul 13, 2022Updated 3 years ago
- Master thesis template for Yanshan University☆12Jan 8, 2021Updated 5 years ago
- Cross-platform library for simulating keyboard events☆20Jul 5, 2022Updated 3 years ago
- ☆41Mar 27, 2026Updated last month
- 基于树莓派的寝室门禁系统，指纹识别+Web开门☆17Nov 17, 2020Updated 5 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.
- Linux Bash script that sets CPU governor to Performance, takes User input on Ollama Model and number of times to run benchmark. Does not …☆17Mar 31, 2024Updated 2 years ago
- Scripts to run RPiPlay in LibreElec☆14Mar 17, 2023Updated 3 years ago
- 手机访问电脑文件，上传下载，控制鼠标☆31May 22, 2014Updated 11 years ago
- 中文Latex图书模板☆20Jan 17, 2018Updated 8 years ago
- Paging indicator widgets compatible with the ViewPager from the Android Support Library and ActionBarSherlock.☆15Nov 6, 2017Updated 8 years ago
- 🗑在Typecho中加入百度文本内容审核，过滤评论中的敏感内容☆54Apr 1, 2025Updated last year
- QQ空间说说批量删除，可实现批量删除指定页之前的说说，支持自动翻页☆20Jan 4, 2021Updated 5 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆77Apr 14, 2026Updated 3 weeks ago
- A kde wallpaper plugin integrating wallpaper engine (Plasma 6 version, have merged to upstream qt6 branch)☆18Jun 1, 2024Updated last year
- 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.
- 一个三种方式实现的ClearEditText，可清除内容的EditText☆27Aug 23, 2017Updated 8 years ago
- CnkiSpider is a package for efficiently crawling articles on CNKI☆23Feb 20, 2023Updated 3 years ago
- Multi-Granularity Language-Guided Multi-Object Tracking☆25Nov 3, 2025Updated 6 months ago
- AI based Minecraft building assistant.☆63Feb 22, 2026Updated 2 months ago
- [COLM 2025] An Open Math Pre-trainng Dataset with 370B Tokens.☆109Apr 4, 2025Updated last year
- Large-scale object detection dataset in the maritime domain☆31Jul 22, 2025Updated 9 months ago
- 一个用python简单的封装了aria2的jsonrpc中adduri的脚本☆27Jan 11, 2018Updated 8 years ago