Languages

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

R

  rhine  
418

R

  rhine  
Jul 2016
about 3 years 304 6,507 img avatar   clayoven   304 img avatar   clayoven   Mar 2022
about 1 year 272 419,869

R

  rhine-ml  
272 img avatar   Coq proof ass...   Feb 2022
over 1 year 135 1,665

R

  rhine  
135

R

  rhine  
Jul 2016
C
about 3 years 333 16,365

P

  phoenixfs  
333

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   135 img avatar   Coq proof ass...   Mar 2022
11 months 61 4,655 img avatar   bonak   61 img avatar   bonak   May 2022
about 1 year 62 831 img avatar   Apache Subver...   62 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  
104 img avatar   bonak   Feb 2022
4 months 27 686 img avatar   vsclay   27 img avatar   vsclay   Feb 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
6 months 9 510 img avatar   Git   9 img avatar   Git   Jan 2015
Xml
over 1 year 30 1,667 img avatar   rtorrent   30 img avatar   vscoq   Feb 2022
6 months 8 469 img avatar   clayoven   8 img avatar   vsclay   Feb 2022
3 months 6 196 img avatar   clayoven   6 img avatar   clayoven   Feb 2019
Php
about 1 month 3 2

A

  arcanist  
3

A

  arcanist  
Nov 2013
Css
3 months 3 763 img avatar   clayoven   3 img avatar   clayoven   Apr 2021
5 months 7 108

R

  rhine-ml  
7

H

  HoTT  
Jan 2020
about 1 month 1 3 img avatar   QEMU   1 img avatar   QEMU   Jul 2013
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