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
about 8 years 591 103,265 img avatar   Coq proof ass...   459

B

  bitv   		Sep 2022
Make
almost 6 years 257 3,730 img avatar   Coq proof ass...   185

O

  OCaml library...   		Apr 2020
Coq
about 3 years 155 39,467 img avatar   Coq proof ass...   139 img avatar   Why3   Mar 2013
Te X/La Te X
about 2 years 98 28,024 img avatar   Coq proof ass...   65

O

  OCaml library...   		Jan 2013
Ruby
about 1 year 56 1,894 img avatar   Why3   56 img avatar   Why3   Mar 2013
Xml
9 months 39 16,787 img avatar   Why3   39 img avatar   Why3   Mar 2013
Autoconf
about 2 years 42 9,227 img avatar   Coq proof ass...   26

O

  OCaml library...   		Apr 2020
Shell Script
about 1 year 17 96 img avatar   Coq proof ass...   13 img avatar   Why3   Jul 2012
Postscript
8 months 11 9,224 img avatar   Coq proof ass...   11 img avatar   Coq proof ass...   Feb 2003
Html
3 months 4 51

O

  OCaml library...   		3

O

  OCaml library...   		Oct 2012
Emacs Lisp
3 months 3 390 img avatar   Coq proof ass...   2 img avatar   Why3   Jun 2011
Css
about 1 month 1 23 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   Feb 2004
C
about 1 month 1 33 img avatar   Why3   1 img avatar   Why3   Dec 2010