lean-commercial-act hunkim · COMPLETED
Korean Commercial Act formalization atlas: GPT Astra × SolarPro4 × Lean 4. Explicit assumptions, source review and kernel-checked demonstrations.
github.com/hunkim/lean-commercial-act · ★ 0 · Forks 0 · Size 1.8 MB
SUMMARY
Technologies 8
Scored 8
Observed 8
Practices 6
Evidence 9
Skips 0
COVERAGE
Analyzed 146 files · 3 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
87 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
8 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
10 files · PRODUCTION
JavaScript LANGUAGE Depth 70
10 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
TypeScript LANGUAGE Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-09-06
Last commit 2026-09-06
Active months 1
Commits 3