main
valence-shell
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
alkahest-shell-transmuter\.github\workflows\scorecard.yml
 2 -
A
alkahest-shell-transmuter\.github\workflows\secret-scanner.yml
 2 -
A
alkahest-shell-transmuter\.github\workflows\security-checks.yml
 2 -
A
ffi\zig\include\valence_shell.h
0 1 -
A
hooks\validate-codeql.sh
 1 -
A
hooks\validate-permissions.sh
 1 -
A
hooks\validate-sha-pins.sh
 1 -
A
hooks\validate-spdx.sh
 1 -
A
impl\elixir\c_src\valence_nif.c
38 2 -
A
impl\ocaml\lean_wrapper.c
22 2 -
A
impl\rust-cli\tests\manual_redirect_test.sh
 1 -
A
impl\rust-cli\tests\manual_sigint_test.sh
 1 -
A
impl\zig\src\valence_ffi.h
0 2 -
A
launch.sh
 1 -
A
scripts\demo_verified_operations.sh
 1 -
A
scripts\generate-verification-report.sh
 1 -
A
scripts\run.sh
 1 -
A
scripts\security-audit.sh
 2 -
A
scripts\validate-correspondence.sh
 1 -
A
scripts\validate-with-echidna.sh
 2 -