Popular repositories Loading

1. TraceGuard TraceGuard Public

   基于形式化需求规约与大模型融合的软件需求-代码一致性验证与缺陷自动检测系统 ｜ Alloy 形式化锚定 · Java/Python/C/C++/Go 五语言解析 · 验证集盲评准确率 95.0% · 全程本地可运行（大创立项项目 · 2026AIC 参赛作品）

   Java

2. heritage-food-platform heritage-food-platform Public

   华韵味脉 · 非遗美食平台:Vue 3 + Spring Boot 全栈三端项目(美食百科 / Leaflet 地图 / 社区 / 商城 / 商家工作台 / 管理端),接入通义千问 AI 讲解

   Vue

3. ZeroIsle ZeroIsle Public

   零屿 Zero Isle — 基于 OpenHarmony 的游戏化碳足迹记录应用:30 项因子库核算、7 种录入通道、分布式多设备同步、端侧 AI 录入矩阵 | A gamified carbon-footprint tracker on OpenHarmony

   TypeScript