搜索结果：cv（4 个）
按分类缩小范围
figures4papers
综合 70
用于在顶尖 AI 会议和期刊论文中绘制高质量图表的 Python 脚本集。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
开源 AI 求职 Agent：扫描招聘网站、对比简历打分、定制 ATS 友好简历并提供面试准备。
ai-job-search
综合 45
本地运行的 AI 求职辅助框架，基于 Claude Code，支持职位评估、定制简历与面试准备。