agda_copy Anionix · COMPLETED
Agda is a dependently typed programming language / interactive theorem prover.
github.com/Anionix/agda_copy · ★ 0 · Forks 0 · Size 159.5 MB
SUMMARY
Technologies 11
Scored 11
Observed 11
Practices 6
Evidence 11
Skips 0
COVERAGE
Analyzed 10002 files · 24108 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
47 files · PRODUCTION
JavaScript LANGUAGE Depth 70
4 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
75 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
39 files · PRODUCTION
Python LANGUAGE Depth 70
1 files · PRODUCTION
pip BUILD_TOOL Depth 80
1 files · CONFIGURATION
Prettier QUALITY Depth 65
1 files · CONFIGURATION
Redis CACHE Depth 84
10 files · CONFIGURATION
TypeScript LANGUAGE Depth 41
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2005-09-09
Last commit 2026-05-06
Active months 245
Commits 24108