Skip to main content

egraphs-good/egglog

SkillsMP は egraphs-good/egglog から 1 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
1
GitHub スター
830
GitHub フォーク
112

このリポジトリの skills

1 件の職業カテゴリ · 100% 分類済み

収集済み skill 1 件中 1 件を表示しています。

職業分類
ソフトウェア開発者
説明

Clean up the documentation and code comments introduced by a diff before merging. Strips implementation details, performance micro-claims, and restated or duplicate explanations from doc comments while keeping the caller-facing contract intact. Use when…

原文の言語: 英語

更新
収集済み skill 1 件中 1 件を表示しています。