I

iron lambda

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 18 hours ago. based on code collected about 18 hours 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 over 5 years ago

Quick Reference

Code Locations:

https://github.com/DDCSF/iron

Similar Projects:

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
65% of companies leverage OSS to speed application development in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	100%
Make	<1%

30 Day Summary

Oct 22 2025 — Nov 21 2025

0 Commits
0 Contributors

12 Month Summary

Nov 21 2024 — Nov 21 2025

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!