Analyzed
about 21 hours
ago.
based on code collected
about 21 hours
ago.
Project Summary
Coq formalizations of functional languages
In a Nutshell, iron lambda...
- ...
- ...
- ...
-
...
took an estimated 10 years of effort (COCOMO model)
starting with its first commit in December, 2012
ending with its most recent commit over 5 years ago
Quick Reference
https://github.com/DDCSF/iron
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
you can embed statistics from Open Hub on your site
-
...
55% of companies leverage OSS for production infrastructure
-
...
anyone with an Open Hub account can update a project's tags
30 Day SummaryNov 29 2025 — Dec 29 2025
|
12 Month SummaryDec 29 2024 — Dec 29 2025
|
