O

ov

Settings | Report Duplicate

0

I Use This!

Inactive

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

Project Summary

No description has been added for this project. Add description

Tags

No tags have been added

In a Nutshell, ov...

...
has had 1 commits made by 1 contributors
representing 5,038 lines of code
...
is mostly written in coq
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 2 years of effort (COCOMO model)
starting with its first commit in May, 2013
ending with its most recent commit almost 13 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/tmbinc/ov

Similar Projects:

Become the first manager for ov

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
check out hot projects on the Open Hub
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
learn about Open Hub updates and features on the Open Hub blog

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	69%
VHDL	17%
Make	10%
Python	4%

30 Day Summary

Feb 9 2026 — Mar 11 2026

0 Commits
0 Contributors

12 Month Summary

Mar 11 2025 — Mar 11 2026

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!