| 1 |
abstract-domain-explorer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 2 |
abstract-invariant-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 3 |
abstract-state-analyzer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 4 |
abstract-trace-summarizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 5 |
acsl-annotation-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 6 |
agent-browser
|
arabelatso/skills-4-se |
|
77 |
77 |
| 7 |
ambiguity-detector
|
arabelatso/skills-4-se |
|
77 |
77 |
| 8 |
api-design-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 9 |
api-documentation-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 10 |
assertion-synthesizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 11 |
behavior-preservation-checker
|
arabelatso/skills-4-se |
|
77 |
77 |
| 12 |
behavioral-mutation-analyzer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 13 |
bisect-aware-instrumentation
|
arabelatso/skills-4-se |
|
77 |
77 |
| 14 |
bug-history-summarizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 15 |
bug-localization
|
arabelatso/skills-4-se |
|
77 |
77 |
| 16 |
bug-reproduction-test-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 17 |
bug-to-patch-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 18 |
build-ci-migration-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 19 |
c-cpp-to-lean4-translator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 20 |
cd-pipeline-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 21 |
change-log-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 22 |
ci-pipeline-synthesizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 23 |
code-change-summarizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 24 |
code-comment-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 25 |
code-completion-semantic-constraints
|
arabelatso/skills-4-se |
|
77 |
77 |
| 26 |
code-instrumentation-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 27 |
code-optimizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 28 |
code-pattern-extractor
|
arabelatso/skills-4-se |
|
77 |
77 |
| 29 |
code-refactoring-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 30 |
code-repair-generation-combo
|
arabelatso/skills-4-se |
|
77 |
77 |
| 31 |
code-review-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 32 |
code-search-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 33 |
code-smell-detector
|
arabelatso/skills-4-se |
|
77 |
77 |
| 34 |
code-summarizer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 35 |
code-translation
|
arabelatso/skills-4-se |
|
77 |
77 |
| 36 |
component-boundary-identifier
|
arabelatso/skills-4-se |
|
77 |
77 |
| 37 |
config-consistency-checker
|
arabelatso/skills-4-se |
|
77 |
77 |
| 38 |
configuration-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 39 |
conflict-analyzer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 40 |
containerization-assistant
|
arabelatso/skills-4-se |
|
77 |
77 |
| 41 |
control-flow-abstraction-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 42 |
counterexample-debugger
|
arabelatso/skills-4-se |
|
77 |
77 |
| 43 |
counterexample-explainer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 44 |
counterexample-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 45 |
counterexample-to-test-generator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 46 |
coverage-enhancer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 47 |
cpp-to-dafny-translator
|
arabelatso/skills-4-se |
|
77 |
77 |
| 48 |
critical-interval-security-checker
|
arabelatso/skills-4-se |
|
77 |
77 |
| 49 |
cve-reachability-analyzer
|
arabelatso/skills-4-se |
|
77 |
77 |
| 50 |
cve-watchlist-action-recommendation-generator
|
arabelatso/skills-4-se |
|
77 |
77 |