lean-yjs hondrytravis · COMPLETED
Lean-Yjs: Formal Verification of Yjs Integration Algorithm
github.com/hondrytravis/lean-yjs · ★ 0 · Forks 0 · Size 387 KB
SUMMARY
Technologies 8
Scored 8
Observed 8
Practices 6
Evidence 8
Skips 0
COVERAGE
Analyzed 34 files · 117 commits · 0 API calls
TECHNOLOGIES & DEPTH
TypeScript LANGUAGE Depth 70
4 files · PRODUCTION
JSON LANGUAGE Depth 70
3 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
YAML LANGUAGE Depth 70
2 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION
pnpm BUILD_TOOL Depth 80
1 files · CONFIGURATION
Vitest TESTING Depth 41
2 files · TEST
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2025-02-18
Last commit 2025-10-20
Active months 9
Commits 117