已收集 skills
4
Stars
14
更新
2026-06-09
Forks
2
职业覆盖
2 个职业分类 · 已分类 100%
仓库浏览
这个仓库中的 skills
创作者/仓库/skill
skill
职业分类
描述
更新
egraph-rs-verification
软件质量保证分析师与测试员
Commands and procedures to format, lint, and run tests for Rust, WebAssembly, Python, and JS/TS in the egraph-rs project.
2026-06-09
egraph-rs-commit
软件开发工程师
Conventions and format rules for writing commit messages in the egraph-rs project.
2026-06-09
egraph-rs-dev-process
软件开发工程师
Guidelines for general development process, coding style, writing comments, and updating skills after tasks in the egraph-rs project.
2026-06-09
egraph-rs-system-patterns
软件开发工程师
Core architectural and implementation patterns of layouts, clustering, layering, and triangulation in egraph-rs.
2026-06-09