Languages

  Analyzed 39 minutes ago
Language Aggregate
Coding Time
Total
Commits
Total Lines
Changed
Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
Coq
over 2 years 449 15,959 img avatar   bonak   436 img avatar   Coq proof ass...   Mar 2022
C++
almost 2 years 418 74,274

R

  rhine  
388

R

  rhine  
Jul 2016
about 3 years 313 6,709 img avatar   clayoven   285 img avatar   clayoven   Jun 2022
about 1 year 272 419,869

R

  rhine-ml  
231 img avatar   Coq proof ass...   Feb 2022
about 1 year 149 7,488 img avatar   bonak   149 img avatar   bonak   Sep 2022
over 1 year 135 1,665

R

  rhine  
131

R

  rhine  
Jul 2016
C
about 3 years 333 16,365

P

  phoenixfs  
100

N

  neomutt  
Jan 2022
over 1 year 123 7,813

Μ

  µblog.el  
img avatar   The LLVM Comp...   Feb 2015
over 2 years 135 2,924 img avatar   Git   88 img avatar   Coq proof ass...   Mar 2022
about 1 year 62 831 img avatar   Apache Subver...   46 img avatar   Buildbot   Sep 2017
F#
4 months 45 4,087

F

  FStar  
45

F

  FStar  
Jul 2019
over 2 years 104 3,510

R

  rhine-ml  
45 img avatar   bonak   Feb 2022
4 months 27 854 img avatar   vsclay   12 img avatar   vsclay   Jun 2022
about 1 month 8 102 img avatar   Rust (program...   8 img avatar   Rust (program...   Jun 2013
4 months 7 428

R

  rhine  
7

R

  rhine  
Sep 2015
Xml
over 1 year 30 1,667 img avatar   rtorrent   7 img avatar   vscoq   Feb 2022
6 months 9 510 img avatar   Git   7 img avatar   Git   Jan 2015
6 months 8 529 img avatar   clayoven   6 img avatar   vsclay   Jun 2022
3 months 6 196 img avatar   clayoven   3 img avatar   clayoven   Feb 2019
Css
3 months 3 763 img avatar   clayoven   3 img avatar   clayoven   Apr 2021
Php
about 1 month 3 2

A

  arcanist  
3

A

  arcanist  
Nov 2013
5 months 7 108

R

  rhine-ml  
2

H

  HoTT  
Jan 2020
about 1 month 1 2 img avatar   Linux Kernel   1 img avatar   Linux Kernel   Jul 2013
about 1 month 1 3

H

  HoTT  
1

H

  HoTT  
Jan 2020
about 1 month 1 3 img avatar   QEMU   1 img avatar   QEMU   Jul 2013