lustreiser hyperpolymath · PARTIAL
Generate formally verified real-time embedded code via Lustre
github.com/hyperpolymath/lustreiser · ★ 4 · Forks 1 · Size 524 KB
SUMMARY
Technologies 9
Scored 8
Observed 8
Practices 6
Evidence 10
Skips 1
COVERAGE
Analyzed 359 files · 107 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
11 files · PRODUCTION
JSON LANGUAGE Depth 70
4 files · PRODUCTION
Rust LANGUAGE Depth 70
9 files · PRODUCTION
TOML LANGUAGE Depth 70
12 files · PRODUCTION
Markdown LANGUAGE Depth 70
7 files · PRODUCTION
YAML LANGUAGE Depth 70
22 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
Clap LIBRARY Depth —
0 files · config only
Serde LIBRARY Depth 62
2 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2026-03-20
Last commit 2026-09-25
Active months 7
Commits 107