main
eclexia
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\verify-coq-proofs.yml
 7 -
A
.github\workflows\workflow-linter.yml
 10 -
A
compiler\eclexia-doc\src\style.css
 2 -
A
deploy\kubernetes\configmap.yaml
 2 -
A
deploy\kubernetes\namespace.yaml
 2 -
A
deploy\kubernetes\secret.yaml
 2 -
A
deploy\kubernetes\service.yaml
 2 -
A
deploy\kubernetes\statefulset.yaml
 2 -
A
docs\collections.html
 2 -
A
docs\core.html
 2 -
A
docs\io.html
 2 -
A
docs\math.html
 2 -
A
docs\stdlib-index.html
 2 -
A
docs\text.html
 2 -
A
docs\time.html
 2 -
A
editors\vscode\package.json
 2 -
A
editors\vscode\src\extension.js
4 2 -
A
hooks\validate-codeql.sh
 2 -
A
hooks\validate-permissions.sh
 2 -
A
hooks\validate-sha-pins.sh
 2 -