ephapax hyperpolymath · PARTIAL
Dyadic linear+affine type system for compile-time WASM memory safety — no use-after-free, no leaks, region-based allocation. Mechanically proved in Coq and Idris2.
github.com/hyperpolymath/ephapax · ★ 2 · Forks 0 · Size 15.7 MB
SUMMARY
Technologies 21
Scored 17
Observed 17
Practices 6
Evidence 46
Skips 4
COVERAGE
Analyzed 473 files · 609 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
9 files · PRODUCTION
C++ LANGUAGE Depth 70
1 files · PRODUCTION
Rust LANGUAGE Depth 70
70 files · PRODUCTION
JavaScript LANGUAGE Depth 70
1 files · PRODUCTION
JSON LANGUAGE Depth 70
9 files · PRODUCTION
Markdown LANGUAGE Depth 70
4 files · PRODUCTION
TOML LANGUAGE Depth 70
28 files · PRODUCTION
YAML LANGUAGE Depth 70
19 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
Apache Kafka MESSAGE_BROKER Depth 65
1 files · CONFIGURATION
Clap LIBRARY Depth —
0 files · config only
Next.js FRAMEWORK Depth 58
1 files · PRODUCTION
PostgreSQL DATABASE Depth 84
9 files · CONFIGURATION
Prettier QUALITY Depth 58
1 files · CONFIGURATION
Reqwest LIBRARY Depth —
0 files · config only
Serde LIBRARY Depth 78
6 files · PRODUCTION
Tokio LIBRARY Depth 66
2 files · PRODUCTION
Tokio Test TESTING Depth —
0 files · config only
Tracing OBSERVABILITY Depth —
0 files · config only
TypeScript LANGUAGE Depth 62
2 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2025-12-16
Last commit 2026-09-28
Active months 10
Commits 609