main
patallm-gallery
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
llm-tools\verify\src\ClaudeVerify\Internal\Types.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Ada.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Haskell.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Languages\Rust.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\PropertyExtraction.hs
 1 -
A
llm-tools\verify\src\ClaudeVerify\Report.hs
 1 -
A
llm-tools\verify\test\Spec.hs
 1 -
A
llm-tools\verify\test\Test\EchidnaClient.hs
 1 -
A
llm-tools\verify\test\Test\Feedback.hs
 1 -
A
llm-tools\verify\test\Test\PropertyExtraction.hs
 1 -
A
lsm\.clusterfuzzlite\build.sh
 1 -
A
lsm\.clusterfuzzlite\project.yaml
 1 -
A
lsm\.github\FUNDING.yml
 2 -
A
lsm\.github\dependabot.yml
 1 -
A
lsm\.github\workflows\cflite_batch.yml
 3 -
A
lsm\.github\workflows\cflite_pr.yml
 3 -
A
lsm\.github\workflows\codeql.yml
 6 -
A
lsm\.github\workflows\comprehensive-quality.yml
 5 -
A
lsm\.github\workflows\governance.yml
 6 -
A
lsm\.github\workflows\hypatia-scan.yml
 5 -