Contributions

  Analyzed 32 minutes ago

5831 Commits in mostly Haskell

Analyzed 32 minutes ago. based on code collected 33 minutes ago.

162 Commits in mostly Haskell

Analyzed about 1 hour ago. based on code collected about 1 hour ago.
Project lead

376 Commits in mostly Haskell

Analyzed about 10 hours ago. based on code collected about 10 hours ago.
owner Project lead

1465 Commits in mostly Haskell

Analyzed 3 months ago. based on code collected 3 months ago.
Project lead

314 Commits in mostly coq

Analyzed about 9 hours ago. based on code collected about 9 hours ago.
Project lead

56 Commits in mostly Haskell

Analyzed about 2 hours ago. based on code collected about 2 hours ago.

346 Commits in mostly Haskell

Analyzed about 2 months ago. based on code collected about 2 months ago.

4 Commits in mostly Haskell

Analyzed 4 months ago. based on code collected 4 months ago.
Analyzed about 4 hours ago. based on code collected about 4 hours ago.