Contributions

  Analyzed 7 days ago
Maintainer

495 Commits in mostly coq

Analyzed 10 days ago. based on code collected 10 days ago.
Maintainer

337 Commits in mostly Ruby

Analyzed 9 days ago. based on code collected 9 days ago.

7 Commits in mostly coq

Analyzed 7 days ago. based on code collected 7 days ago.
Contributor

13 Commits in mostly coq

Analyzed 9 days ago. based on code collected 9 days ago.
Maintainer

91 Commits in mostly TypeScript

Analyzed 9 days ago. based on code collected 9 days ago.
Contributor

31 Commits in mostly TypeScript

Analyzed 7 days ago. based on code collected 7 days ago.
Contributor

1 Commit in mostly C

Analyzed 21 days ago. based on code collected 21 days ago.
Contributor

4 Commits in mostly TypeScript

Analyzed 8 days ago. based on code collected 8 days ago.
Analyzed 7 days ago. based on code collected 7 days ago.
Contributor

197 Commits in mostly C

Analyzed 9 days ago. based on code collected 9 days ago.