C

coq4ios

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Coq for iOS

Tags

No tags have been added

In a Nutshell, coq4ios...

...
has had 78 commits made by 2 contributors
representing 2,812 lines of code
...
is mostly written in Objective-C
with an average number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in February, 2013
ending with its most recent commit over 7 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/keigoi/coq4ios

Similar Projects:

Become the first manager for coq4ios

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
compare projects before you chose one to use
...
55% of companies leverage OSS for production infrastructure
...
anyone with an Open Hub account can update a project's tags

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

XML	45%
Objective-C	37%
OCaml	7%
4 Other	11%

30 Day Summary

Jan 4 2026 — Feb 3 2026

0 Commits
0 Contributors

12 Month Summary

Feb 3 2025 — Feb 3 2026

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!