Languages

  Analyzed 19 days 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,300 229,212 img avatar   Battle for We...   3300

R

  Remake  
Dec 2020
over 9 years 1,001 106,856 img avatar   Why3   1001 img avatar   Coq proof ass...   Dec 2020
Coq
over 12 years 1,831 670,542

G

  Gappa  
1831 img avatar   Coq proof ass...   Nov 2020
over 7 years 391 9,764 img avatar   Why3   391 img avatar   Why3   Nov 2020
over 10 years 426 10,017

G

  Gappa  
426 img avatar   Why3   Nov 2020
over 5 years 230 33,270 img avatar   Why3   230 img avatar   Why3   Feb 2020
Xml
over 6 years 281 339,505 img avatar   Why3   281 img avatar   Why3   Nov 2020
over 4 years 162 4,687 img avatar   Why3   162 img avatar   Coq proof ass...   Nov 2020
over 5 years 276 3,757

G

  Gappa  
276 img avatar   Why3   Feb 2020
Lua
over 1 year 111 2,670 img avatar   Battle for We...   111 img avatar   Battle for We...   Dec 2010
C
about 4 years 157 37,751 img avatar   The Mana Project   157 img avatar   Coq proof ass...   Dec 2020
about 2 years 54 1,068 img avatar   Why3   54 img avatar   Why3   Sep 2020
about 1 year 33 4,887 img avatar   Why3   33 img avatar   Why3   Nov 2020
8 months 30 714

G

  Gappa  
30

G

  Gappa  
Jun 2013
almost 2 years 40 3,925 img avatar   Boost C++ Lib...   40 img avatar   Why3   May 2020
10 months 22 12,910 img avatar   Why3   22 img avatar   Why3   May 2020
over 1 year 19 25 img avatar   Battle for We...   19 img avatar   Battle for We...   Dec 2010
9 months 11 77 img avatar   Why3   11 img avatar   Why3   Feb 2020
Jam
5 months 8 140 img avatar   Boost C++ Lib...   8 img avatar   Boost C++ Lib...   Jul 2004
Css
7 months 13 785 img avatar   Why3   13 img avatar   Why3   May 2020
5 months 7 171

G

  Gappa  
7

G

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