Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

1
I Use This!
Moderate Activity

Widgets

You can embed Open Hub widgets in your web site.

Factoids and Stats

vscoq

Commit Activity Timeline:

more at
Updated May 17, 2024
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_factoids_stats?format=js'></script>

Factoids

more at
vscoq Updated May 17, 2024
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_factoids?format=js'></script>

Stats

vscoq

Main Language: Nix

Total Lines of Code: 16,501

Active Contributors: 26

Commit Activity

more at
Updated May 17, 2024
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_basic_stats?format=js'></script>

Languages

Languages

 
 Nix 29%
 
 OCaml 33%
 
 TypeScript 20%
 
 6 Other 18%
more at
vscoq Updated May 17, 2024
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_languages?format=js'></script>

Cocomo

vscoq - Project Cost

Include Avg. Salary
$/year
Codebase
17,025 Lines 		Effort (est.)
4 Person Years
Estimated Cost
$214,403
more at
Updated May 17, 2024
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_cocomo?format=js'></script>

Partner Badge

Open Hub project report for vscoq
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_partner_badge?format=js'></script>

Thin badge

Open Hub project report for vscoq
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_thin_badge?format=js'></script>

I Use It - Logo

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users_logo?format=js'></script>

I Use It - Simple

1 USERS
 
HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style='></script>

I Use It - Gray

1

USERS

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style=gray'></script>

I Use It - Green

1

USERS

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style=green'></script>

I Use It - Red

1

USERS

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style=red'></script>

I Use It - Blue

1

USERS

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style=blue'></script>

I Use It - Rainbow

1

USERS

HTML

Embed this in your web page:

<script type='text/javascript' src='https://openhub.net/p/VSCoq/widgets/project_users?format=js&style=rainbow'></script>