valence-shell hyperpolymath · PARTIAL
Formally verified shell implementing the MAA (Mutually Assured Accountability) Framework — every operation backed by machine-checkable proofs.
github.com/hyperpolymath/valence-shell · ★ 2 · Forks 0 · Size 172.4 MB
SUMMARY
Technologies 17
Scored 14
Observed 14
Practices 6
Evidence 21
Skips 3
COVERAGE
Analyzed 527 files · 420 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
1 files · PRODUCTION
Shell LANGUAGE Depth 70
20 files · PRODUCTION
C++ LANGUAGE Depth 70
2 files · PRODUCTION
Rust LANGUAGE Depth 70
74 files · PRODUCTION
C LANGUAGE Depth 70
2 files · PRODUCTION
JSON LANGUAGE Depth 70
6 files · PRODUCTION
Markdown LANGUAGE Depth 70
18 files · PRODUCTION
TOML LANGUAGE Depth 70
10 files · PRODUCTION
YAML LANGUAGE Depth 70
41 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
Clap LIBRARY Depth —
0 files · config only
Prettier QUALITY Depth 58
1 files · CONFIGURATION
Redis CACHE Depth 65
1 files · CONFIGURATION
Serde LIBRARY Depth 70
3 files · PRODUCTION
Tokio LIBRARY Depth —
0 files · config only
Tracing OBSERVABILITY Depth —
0 files · config only
TypeScript LANGUAGE Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2026-01-18
Last commit 2026-09-27
Active months 9
Commits 420