你好，我是 ustc21xyx
一名来自中国科学技术大学 (USTC) 的计算机科学研究生。我对算法的理论深度、Web开发的工程实践以及人工智能的前沿探索充满热情。
我的项目
µC/OS-II on RISC-V 安全分析
一个关于在 RISC-V 架构上移植 µC/OS-II 实时操作系统并进行安全分析的课程项目。
C
嵌入式系统
安全分析
查看项目
DPLL(T) SMT 求解器
一个基于 DPLL(T) 框架的简易 SMT 求解器实现，专注于等式逻辑与非解释函数 (EUF)。
C++
算法
形式化验证
查看项目
课程实验集合
一个汇集了多个课程实验代码的仓库，涵盖人工智能、并行计算、形式化方法等多个计算机科学核心领域。
C++
Python
课程实验
查看项目
RecFM (Fork)
Fork 自 USTCLLM 团队，一个用于开发推荐系统基础模型的综合工具和框架，以跟进前沿研究。
Fork
AI
推荐系统
查看项目
技术栈
C++
Python
JavaScript
人工智能
算法
Git