magmide jamestiotio · COMPLETED
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
github.com/jamestiotio/magmide · ★ 1 · Forks 0 · Size 39.6 MB
SUMMARY
Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 6
Skips 0
COVERAGE
Analyzed 101 files · 150 commits · 0 API calls
TECHNOLOGIES & DEPTH
Rust LANGUAGE Depth 70
1 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
31 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2020-08-21
Last commit 2023-02-24
Active months 22
Commits 150