Languages

  Analyzed 4 months ago
Language Aggregate
Coding Time
Total
Commits
Total Lines
Changed
Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
over 8 years 596 103,866 img avatar   Coq proof ass...   459 img avatar   Why3   Oct 2024
almost 6 years 259 3,759 img avatar   Coq proof ass...   185 img avatar   Why3   Oct 2024
Coq
over 3 years 155 39,467 img avatar   Coq proof ass...   139 img avatar   Why3   Mar 2013
about 2 years 98 28,024 img avatar   Coq proof ass...   65

O

  OCaml library...  
Jan 2013
over 1 year 59 1,926 img avatar   Why3   59 img avatar   Why3   Oct 2024
Xml
11 months 44 17,808 img avatar   Why3   44 img avatar   Why3   Oct 2024
about 2 years 42 9,227 img avatar   Coq proof ass...   26

O

  OCaml library...  
Apr 2020
about 1 year 18 98 img avatar   Coq proof ass...   13 img avatar   Why3   Oct 2024
8 months 11 9,224 img avatar   Coq proof ass...   11 img avatar   Coq proof ass...   Feb 2003
3 months 4 51

O

  OCaml library...  
3

O

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