ganler / My_projects
Some small projects and archives.
☆9Updated 5 years ago
Alternatives and similar repositories for My_projects:
Users that are interested in My_projects are comparing it to the libraries listed below
- The classifier of Superpower(from Tongji University) used in Robomaster2019. 19k FPS on NUC.☆11Updated 4 years ago
- ☆19Updated 5 years ago
- Course project of CG(CS100433, 2019 fall, Tongji Univ.): A real-time billiard simulator using both ray tracing and graphics pipeline.☆11Updated 4 years ago
- 说出你在同济的菜鸡故事。☆22Updated 4 years ago
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- [短中篇虚构小说] 惟心馆血案。二十一世纪二十年代,黄渡大学济心学堂部分学生学习生活状况综述。☆15Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- 同济大学本科生毕业设计论文模板(理工类)Docker 环境,方便快捷无污染。☆12Updated 9 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 4 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆12Updated 2 years ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated 6 months ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 4 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆12Updated this week
- 支持 USTC 统一身份认证系统鉴权的反向代理,让你的网站只有科大人可以访问☆25Updated 3 years ago
- ☆10Updated 3 years ago
- 同济2022抗击疫情实录。☆36Updated 2 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- ☆11Updated 4 years ago
- Automatic Fetch Tongji 4m3 Notice and post to Telegram via bot.☆10Updated 6 years ago
- A reading group for system verification papers☆10Updated last year
- A naive key-value database as the project of Storage Technology Foundations course☆10Updated 5 years ago
- website for systems seminar at UIUC☆17Updated this week
- Teaching and Learning Software Verification via SVF☆33Updated last week
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆12Updated 2 years ago
- 课程主页☆23Updated 5 years ago
- Call-graph generator.☆22Updated 6 years ago
- Software Analysis and Verification Group☆13Updated 2 months ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆12Updated 2 years ago