ganler / superpower19classifierLinks
The classifier of Superpower(from Tongji University) used in Robomaster2019. 19k FPS on NUC.
☆11Updated 5 years ago
Alternatives and similar repositories for superpower19classifier
Users that are interested in superpower19classifier are comparing it to the libraries listed below
Sorting:
- ☆19Updated 6 years ago
- Course project of CG(CS100433, 2019 fall, Tongji Univ.): A real-time billiard simulator using both ray tracing and graphics pipeline.☆12Updated 5 years ago
- 说出你在同济的菜鸡故事。☆22Updated 5 years ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated last year
- [短中篇虚构小说] 惟心馆血案。二十一世纪二十年代，黄渡大学济心学堂部分学生学习生活状况综述。☆15Updated 3 years ago
- Some CS notes during Jiawei's undergrad.☆32Updated 3 years ago
- Collect simple coverage information in memory.☆11Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆211Updated 8 months ago
- 同济2022抗击疫情实录。☆35Updated 3 years ago
- 同济大学本科生毕业设计论文模板（理工类）Docker 环境，方便快捷无污染。☆13Updated last year
- Project for CS100395, Tongji Univ. A simple compiler front-end for a subset of C.☆29Updated 4 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated last month
- 简单改造了自己动手实现CPU的代码☆10Updated 4 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆28Updated 11 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated 2 years ago
- ☆47Updated 3 years ago
- 国科大编译作业：基于Clang的C语言解释执行器☆43Updated 3 years ago
- Software Analysis and Verification Group☆15Updated 2 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆76Updated 3 months ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated 10 months ago
- A reading group for system verification papers☆10Updated 2 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆12Updated last year
- 国科大（UCAS, ucas）校园网登录、课程资源下载、自动评教和分数查询助手☆150Updated 3 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆80Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated 4 months ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆146Updated 4 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆31Updated 6 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Updated 3 years ago
- ucas 选课脚本☆88Updated 4 years ago