Contributions

  Analyzed about 1 hour ago
Maintainer

595 Commits in mostly coq

Analyzed 1 day ago. based on code collected 1 day ago.
Maintainer

97 Commits in mostly TypeScript

Analyzed about 16 hours ago. based on code collected about 16 hours ago.
Maintainer

347 Commits in mostly Ruby

Analyzed 1 day ago. based on code collected 1 day ago.

7 Commits in mostly coq

Analyzed about 21 hours ago. based on code collected about 21 hours ago.
Contributor

13 Commits in mostly coq

Analyzed about 17 hours ago. based on code collected about 17 hours ago.
Contributor

31 Commits in mostly TypeScript

Analyzed about 17 hours ago. based on code collected about 17 hours ago.
Contributor

1 Commit in mostly C

Analyzed 5 months ago. based on code collected 5 months ago.
Contributor

5 Commits in mostly TypeScript

Analyzed about 14 hours ago. based on code collected about 14 hours ago.
Analyzed 3 days ago. based on code collected 2 months ago.
Contributor

197 Commits in mostly C

Analyzed 1 day ago. based on code collected 1 day ago.