Languages

  Analyzed about 14 hours ago
Language Aggregate
Coding Time
Total
Commits
Total Lines
Changed
Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
C++
over 11 years 3,303 229,223 img avatar   Battle for We...   1767 img avatar   Boost C++ Lib...   Apr 2021
almost 12 years 1,291 138,779 img avatar   Why3   930 img avatar   Coq proof ass...   Jun 2023
Coq
over 13 years 1,869 793,583

G

  Gappa  
509 img avatar   Coq proof ass...   Sep 2023
about 9 years 498 11,479 img avatar   Why3   449 img avatar   Coq proof ass...   Feb 2023
about 5 years 221 147,669 img avatar   Why3   220 img avatar   Why3   Nov 2023
almost 12 years 500 11,940 img avatar   Why3   209 img avatar   Why3   Nov 2023
over 5 years 219 7,213 img avatar   Why3   183 img avatar   Why3   Mar 2023
Xml
about 7 years 301 601,992 img avatar   Why3   153 img avatar   Why3   Mar 2023
over 5 years 230 33,270 img avatar   Why3   139 img avatar   Why3   Feb 2020
over 5 years 276 3,757

G

  Gappa  
122 img avatar   Why3   Feb 2020
Lua
over 1 year 111 2,670 img avatar   Battle for We...   94 img avatar   Battle for We...   Dec 2010
C
almost 5 years 185 39,023 img avatar   The Mana Project   63 img avatar   Why3   Nov 2023
over 2 years 69 1,381 img avatar   Why3   48 img avatar   Why3   Nov 2023
about 1 year 32 12,910 img avatar   Why3   32 img avatar   Why3   Mar 2023
8 months 30 714

G

  Gappa  
30

G

  Gappa  
Jun 2013
about 2 years 49 3,791 img avatar   Why3   26 img avatar   Why3   Mar 2023
about 1 year 19 25 img avatar   Battle for We...   16 img avatar   Battle for We...   Dec 2010
11 months 15 151 img avatar   Why3   14 img avatar   Why3   Oct 2022
Css
9 months 18 811 img avatar   Why3   13 img avatar   Why3   Nov 2023
Jam
5 months 8 140 img avatar   Boost C++ Lib...   8 img avatar   Boost C++ Lib...   Jul 2004
5 months 7 171

G

  Gappa  
4

G

  Gappa  
Nov 2016
about 1 month 1 2 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   Sep 2015
Nix
about 1 month 1 9 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   May 2022
about 1 month 1 26 img avatar   Why3   1 img avatar   Why3   Feb 2020
about 1 month 1 9 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   Jul 2019