Open Hub
Black Duck Open Hub
 

Languages

  Analyzed about 1 hour ago
Language Aggregate
Coding Time		 Total
Commits		 Total Lines
Changed		 Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
O Caml
over 3 years 233 80,840 img avatar   Coq proof ass...   126 img avatar   Ocsigen Server   Aug 2023
Make
almost 2 years 82 1,109 img avatar   Ocsigen Server   60 img avatar   Coq proof ass...   Jan 2012
Te X/La Te X
over 1 year 44 213 img avatar   Coq proof ass...   36 img avatar   Coq proof ass...   Feb 2011
Coq
over 1 year 34 14,808 img avatar   Coq proof ass...   30 img avatar   Coq proof ass...   Aug 2011
Autoconf
over 1 year 29 381 img avatar   Coq proof ass...   18 img avatar   Ocsigen Server   Aug 2023
Shell Script
about 1 year 16 329 img avatar   Coq proof ass...   11 img avatar   Coq proof ass...   Feb 2011
Css
about 1 month 2 6 img avatar   Ocsigen Server   2 img avatar   Ocsigen Server   May 2010
C
4 months 12 84 img avatar   Coq proof ass...   2 img avatar   Coq proof ass...   Apr 2011
Type Script
about 1 month 1 70 img avatar   Bitcoin   1 img avatar   Bitcoin   Jul 2012
Dos Batch Script
about 1 month 1 6 img avatar   Grisbi   1 img avatar   Grisbi   Jun 2010
C++
about 1 month 1 2 img avatar   Bitcoin   1 img avatar   Bitcoin   Jul 2012
Nsis
about 1 month 1 2 img avatar   Grisbi   1 img avatar   Grisbi   Jun 2010
Html
about 1 month 1 8 img avatar   Grisbi   1 img avatar   Grisbi   Jun 2010