gdp-rs Rajaniraiyn · COMPLETED
Ghosts of Departed Proofs for Rust: no_std scoped brands, private evidence, capabilities, Cargo checks, and an agent skill
github.com/Rajaniraiyn/gdp-rs · ★ 1 · Forks 0 · Size 108 KB
SUMMARY
Technologies 7
Scored 7
Observed 7
Practices 6
Evidence 10
Skips 0
COVERAGE
Analyzed 117 files · 5 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
1 files · PRODUCTION
Rust LANGUAGE Depth 70
88 files · PRODUCTION
Markdown LANGUAGE Depth 70
11 files · PRODUCTION
TOML LANGUAGE Depth 70
4 files · PRODUCTION
YAML LANGUAGE Depth 70
3 files · PRODUCTION
Python LANGUAGE Depth 70
1 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-10-05
Last commit 2026-10-05
Active months 1
Commits 5