• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
main
lithoglyph
Repository badge with A rating
View on GitHub

  • 13 issues
  • 0 pull requests
  • 123 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
tools\bofig-ingest.sh
1 -
A
tests\workflows\validate_workflows_test.sh
1 -
A
tests\property\src\Lith_Property_Types.res.js
6 1 -
A
tests\property\src\Lith_Property_Runner.res.js
11 1 -
A
tests\property\src\Lith_Property_Generators.res.js
21 1 -
A
tests\property\src\Lith_Property_GQL.res.js
27 1 -
A
tests\property\run.sh
1 -
A
tests\fuzz\run.sh
1 -
A
tests\e2e\template_instantiation_test.sh
1 -
A
tests\e2e.sh
1 -
A
tests\aspect_tests.sh
1 -
A
studio\src\main.jsx
1 -
A
session\local-hooks.sh
1 -
A
session\dispatch.sh
1 -
A
selur-compose.yml
1 -
A
scripts\validate-template.sh
1 -
A
scripts\scan-dangerous.sh
1 -
A
scripts\invariant-path.sh
1 -
A
scripts\check-root-shape.sh
1 -
A
scripts\check-proofs.sh
1 -
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.