C

coq4ios

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 15 hours ago. based on code collected about 16 hours 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 about 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...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
compare projects before you chose one to use
...
65% of companies leverage OSS to speed application development in 2016
...
by exploring contributors within projects, you can view details on every commit they have made to that project

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

Oct 11 2025 — Nov 10 2025

0 Commits
0 Contributors

12 Month Summary

Nov 10 2024 — Nov 10 2025

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!