I

iron lambda

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed 2 months ago. based on code collected 2 months ago.

Project Summary

Coq formalizations of functional languages

Tags

coq functional functional_language language mathematics proof research theorem typetheory

In a Nutshell, iron lambda...

...
has had 320 commits made by 3 contributors
representing 39,788 lines of code
...
is mostly written in coq
with a low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 10 years of effort (COCOMO model)
starting with its first commit in December, 2012
ending with its most recent commit about 6 years ago

Quick Reference

Code Locations:

Add a code location!

Similar Projects:

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
data presented on the Open Hub is available through our API
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Code locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	100%
Make	<1%

30 Day Summary

Jun 20 2026 — Jul 20 2026

0 Commits
0 Contributors

12 Month Summary

Jul 20 2025 — Jul 20 2026

0 Commits
0 Contributors

Most Recent Contributors

	Ben Lippmeier		shua
	...or L. McDonell

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!