PhysLean thegovind · COMPLETED
A project to digitalise results from physics into Lean.
github.com/thegovind/PhysLean · ★ 0 · Forks 0 · Size 9.6 MB
SUMMARY
Technologies 9
Scored 9
Observed 9
Practices 6
Evidence 9
Skips 0
COVERAGE
Analyzed 468 files · 2491 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
4 files · PRODUCTION
Shell LANGUAGE Depth 70
2 files · PRODUCTION
Markdown LANGUAGE Depth 70
4 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
9 files · PRODUCTION
Python LANGUAGE Depth 70
4 files · PRODUCTION
NumPy LIBRARY Depth 52
1 files · PRODUCTION
Requests LIBRARY Depth 58
1 files · PRODUCTION
pandas LIBRARY Depth 62
2 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2024-04-16
Last commit 2026-02-19
Active months 24
Commits 2491