Open Hub
Black Duck Open Hub
 

Languages

  Analyzed about 22 hours ago
Language Aggregate
Coding Time		 Total
Commits		 Total Lines
Changed		 Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
O Caml
about 6 years 528 133,031 img avatar   Why3   528 img avatar   Why3   Oct 2023
Make
over 3 years 148 3,032 img avatar   Why3   147 img avatar   Why3   Oct 2023
Shell Script
almost 2 years 39 1,829 img avatar   Why3   37 img avatar   Why3   May 2023
Ruby
over 1 year 35 74,709 img avatar   Why3   35 img avatar   Why3   May 2023
Xml
over 1 year 32 340,659 img avatar   Why3   32 img avatar   Why3   May 2023
Autoconf
over 1 year 22 716 img avatar   Why3   22 img avatar   Why3   Feb 2022
Te X/La Te X
about 1 year 20 3,671 img avatar   Why3   20 img avatar   Why3   May 2019
Coq
about 1 year 15 89,710 img avatar   Why3   15 img avatar   Why3   Mar 2022
C++
9 months 14 21,478 img avatar   CVC4   12 img avatar   Why3   Jun 2018
C
9 months 12 15,076 img avatar   Why3   12 img avatar   Why3   Feb 2022
Java Script
5 months 7 4,331 img avatar   Why3   7 img avatar   Why3   Feb 2022
Css
4 months 6 514 img avatar   Why3   6 img avatar   Why3   Feb 2022
Emacs Lisp
6 months 6 211 img avatar   Why3   6 img avatar   Why3   Feb 2022
Html
4 months 5 404 img avatar   Why3   5 img avatar   Why3   Feb 2022
Automake
3 months 3 81 img avatar   CVC4   3 img avatar   CVC4   Jul 2012
Python
3 months 3 606 img avatar   Why3   3 img avatar   Why3   Feb 2022
Vim Script
2 months 2 54 img avatar   Why3   2 img avatar   Why3   Jun 2018