搜索结果:cv(5 个)
按分类缩小范围
magic-resume
综合 67
免费在线 AI 简历制作与编辑工具(官网:https://magicv.art)。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题,支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析,自动验证断言及模式匹配完备性等属性。
opencv_contrib
综合 54
OpenCV 的扩展模块代码仓库。
开源 AI 求职 Agent:扫描招聘网站、对比简历打分、定制 ATS 友好简历并提供面试准备。
elecV2P
综合 45
基于 Node.js 的网络工具,支持通过 JS 修改网络请求及定时运行脚本或 Shell 指令。