Analyzed
about 16 hours
ago.
based on code collected
about 16 hours
ago.
Project Summary
Software Foundations in Idris
In a Nutshell, software-foundations...
- ...
- ...
- ...
-
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in June, 2016
ending with its most recent commit over 6 years ago
Quick Reference
https://github.com/idris-hackers...
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
55% of companies leverage OSS for production infrastructure
-
...
search using multiple tags to find exactly what you need
-
...
use of OSS increased in 65% of companies in 2016
-
...
you can embed statistics from Open Hub on your site
30 Day SummaryJul 4 2025 — Aug 3 2025
|
12 Month SummaryAug 3 2024 — Aug 3 2025
|
