Resources for my AI4Math Seminar!
☆17Dec 6, 2025Updated 9 months ago
Alternatives and similar repositories for AI4Math-Seminar
Users that are interested in AI4Math-Seminar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 以免在群聊吹水时读不懂群友在说什么☆21Jul 27, 2024Updated 2 years ago
- 本项目系列相关视频为大家测试CrewAI官方提供的Tools☆14Jan 2, 2025Updated last year
- 清华大学软件学院2025秋季学期《软件工程》课程，三四五组大作业：Echo of Time☆29Apr 12, 2026Updated 5 months ago
- A visual novel made with Godot Engine.☆11Sep 18, 2023Updated 3 years ago
- ☆18Mar 25, 2026Updated 5 months 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.
- A roadmap of artificial intelligence☆17Sep 17, 2022Updated 4 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆12Jul 24, 2026Updated last month
- UOJ 通过题目比较器☆15Jul 1, 2019Updated 7 years ago
- Homepage of the Lean-zh website.☆60Aug 13, 2026Updated last month
- 社团内部的学习资料与经验分享☆15Feb 14, 2025Updated last year
- 一个利用 GitHub Action，采取无侵入式的、自动化的方式构建算法模板 PDF 的项目！☆16Nov 14, 2025Updated 10 months ago
- OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning☆19Nov 12, 2025Updated 10 months ago
- Lean 形式化数学☆20Dec 20, 2025Updated 9 months ago
- ☆19Apr 5, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Mar 11, 2026Updated 6 months ago
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated last month
- Automatically check your GPA☆21Jun 17, 2025Updated last year
- fake CUTLASS to get peformance☆25Apr 28, 2026Updated 4 months ago
- 公共API服务，Power by ThinkJS☆20May 11, 2025Updated last year
- ☆26May 17, 2026Updated 4 months ago
- IOI 2020 集训队作业☆27Jan 3, 2020Updated 6 years ago
- 一个利用 clangd 开发昇腾算子的 demo。☆15Sep 3, 2025Updated last year
- (DEPRECATED) SJTU+ 主页与 SJTU 学科交流群☆18Aug 1, 2024Updated 2 years 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.
- Course planning service for SJTU☆24Apr 1, 2026Updated 5 months ago
- 花狮本科生课程指北基金会 华师大课程攻略共享计划 我们收容，我们共享，我们跑路（不是☆22Jul 1, 2022Updated 4 years ago
- ☆30Dec 9, 2025Updated 9 months ago
- ☆27Sep 23, 2020Updated 5 years ago
- 计算机网络：自顶向下方法 （原书第七版）陈鸣译 课后习题参考答案（中文版+英文版）；计算机系统基础（第2版）袁春风 课后习题参考答案；操作系统教程（第5版）费翔林 课后习题参考答案；数据结构（用C++描述）殷人昆）课后习题参考答案；算法设计与分析 黄宇 课后习题参考答案；☆20Apr 2, 2020Updated 6 years ago
- Typst Thesis Template for Tsinghua University (THU)☆33Aug 24, 2026Updated 3 weeks ago
- ☆23May 19, 2019Updated 7 years ago
- The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"☆22Apr 22, 2025Updated last year
- Official Repositary of "Test-Time Conditioning with Representation-Aligned Visual Features"☆20Feb 6, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- mem0 的小玩具 qwq☆26Dec 11, 2022Updated 3 years ago
- Source code for our paper: "ARIA: Training Language Agents with Intention-Driven Reward Aggregation".☆30Aug 9, 2025Updated last year
- [COLM-LLA 2026] The official implementation for paper "AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficien…☆24Aug 23, 2026Updated 3 weeks ago
- vue+antd开发的项目管理系统模板，快速开发☆27Nov 24, 2021Updated 4 years ago
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- A C++ implementation of Seam-Carving -- a classic content-aware image resizing algorithm.☆15Oct 3, 2019Updated 6 years ago
- xm 集训队☆29Oct 23, 2020Updated 5 years ago