受朋友委托，切用且珍惜。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:
- bing bong是一个用于支持RSS订阅的QQ（？）机器人☆12Feb 17, 2022Updated 4 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆30Aug 19, 2025Updated 10 months ago
- ☆17Jul 12, 2025Updated 11 months ago
- 基于 Nonebot2，使用 AI 分析群聊记录，生成讨论内容的总结。☆19Dec 12, 2025Updated 6 months ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- 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.
- ☆17Oct 27, 2024Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- ☆50Dec 16, 2025Updated 6 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36May 27, 2026Updated 3 weeks ago
- Python client to interact with the lean4 language server.☆45Jun 9, 2026Updated last week
- 上海海事大学 LaTeX 学位论文模板☆53May 29, 2022Updated 4 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 4 months ago
- Crack Yoda(美团) slider☆32Mar 9, 2023Updated 3 years ago
- 将VRChat缓存移动到指定目录的小工具, 拥有相对现代并且易用的 GUI.☆36Apr 13, 2026Updated 2 months 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.
- ☆11Jun 15, 2017Updated 9 years ago
- DecoderTracker: Decoder-Only Method for Multiple-Object Tracking☆17Jun 2, 2026Updated 2 weeks ago
- ☆35Jan 10, 2025Updated last year
- WordsAway for Android - 一个文本防检测应用☆13Jul 23, 2020Updated 5 years ago
- A pypi-mirror docker image☆12Jan 4, 2024Updated 2 years ago
- This is the official repository for all the code of TheoremLlama☆47Aug 4, 2025Updated 10 months ago
- ☆15Sep 30, 2022Updated 3 years ago
- A collection of GitHub Actions to be used for NSIS workflows☆16Jul 13, 2022Updated 3 years ago
- Cross-platform library for simulating keyboard events☆20Jul 5, 2022Updated 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.
- 基于树莓派的寝室门禁系统，指纹识别+Web开门☆17Nov 17, 2020Updated 5 years ago
- A codeforces duel bot☆26Jun 23, 2024Updated last year
- 读取并导出解密后的QQNT数据库中的聊天记录☆64Updated this week
- 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
- 手机访问电脑文件，上传下载，控制鼠标☆31May 22, 2014Updated 12 years ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models>☆75Jan 8, 2026Updated 5 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆79May 30, 2026Updated 2 weeks ago
- macQQ插件☆16Jul 30, 2019Updated 6 years ago
- AI based Minecraft building assistant.☆64Feb 22, 2026Updated 3 months 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.
- Large-scale object detection dataset in the maritime domain☆33Jul 22, 2025Updated 10 months ago
- ☆73Sep 30, 2023Updated 2 years ago
- The official repository of the Omni-MATH benchmark.☆94Dec 22, 2024Updated last year
- 基于C++17的高性能国密算法库☆28Jan 16, 2026Updated 5 months ago
- a shell script that can automatically download vscode-server for you.☆30Dec 10, 2023Updated 2 years ago
- OpenSource Exporter for Android QQ Chat History☆103Mar 25, 2021Updated 5 years ago
- A.K.A. Fourier Advanced Robot Teleoperation System (F.A.R.T.S.) 💨☆160Jun 10, 2025Updated last year