fp-lean jozef-javorsky-dodo · COMPLETED
Functional Programming in Lean
github.com/jozef-javorsky-dodo/fp-lean · ★ 0 · Forks 0 · Size 749 KB
SUMMARY
Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 5
Skips 0
COVERAGE
Analyzed 167 files · 351 commits · 0 API calls
TECHNOLOGIES & DEPTH
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
73 files · PRODUCTION
YAML LANGUAGE Depth 70
2 files · PRODUCTION
JavaScript LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
7 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2022-04-03
Last commit 2024-02-06
Active months 17
Commits 351