C

coq-ruby

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 19 hours ago. based on code collected about 19 hours ago.

Project Summary

No description has been added for this project. Add description

Tags

No tags have been added

In a Nutshell, coq-ruby...

...
has had 10 commits made by 1 contributors
representing 319,141 lines of code
...
is mostly written in OCaml
with an average number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 84 years of effort (COCOMO model)
starting with its first commit in October, 2010
ending with its most recent commit almost 15 years ago

Quick Reference

Code Locations:

https://github.com/mzp/coq-ruby

Similar Projects:

Become the first manager for coq-ruby

This Project has No vulnerabilities Reported Against it

Did You Know...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
anyone with an Open Hub account can update a project's tags
...
65% of companies leverage OSS to speed application development in 2016
...
search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

OCaml	47%
coq	40%
TeX/LaTeX	10%
12 Other	3%

30 Day Summary

Jun 13 2025 — Jul 13 2025

0 Commits
0 Contributors

12 Month Summary

Jul 13 2024 — Jul 13 2025

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!