typed-wasm hyperpolymath · COMPLETED
Idris2-proved progressive type safety for WebAssembly linear memory (regions are tables, loads are queries) — and the verified convergence ABI that independent WasmGC languages agree on.
github.com/hyperpolymath/typed-wasm · ★ 4 · Forks 0 · Size 2.5 MB
SUMMARY
Technologies 12
Scored 12
Observed 12
Practices 6
Evidence 16
Skips 0
COVERAGE
Analyzed 513 files · 333 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
12 files · PRODUCTION
Rust LANGUAGE Depth 70
31 files · PRODUCTION
JavaScript LANGUAGE Depth 70
20 files · PRODUCTION
JSON LANGUAGE Depth 70
9 files · PRODUCTION
Markdown LANGUAGE Depth 70
15 files · PRODUCTION
TOML LANGUAGE Depth 70
9 files · PRODUCTION
YAML LANGUAGE Depth 70
26 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
Prettier QUALITY Depth 58
1 files · CONFIGURATION
Redis CACHE Depth 69
2 files · CONFIGURATION
debug LIBRARY Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2026-03-21
Last commit 2026-09-27
Active months 7
Commits 333