Contributions

  Analyzed about 1 hour ago
Maintainer

322 Commits in mostly Ruby

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

29 Commits in mostly TypeScript

Analyzed about 1 hour ago. based on code collected about 1 hour ago.
Analyzed about 16 hours ago. based on code collected about 17 hours ago.
Analyzed about 18 hours ago. based on code collected about 18 hours ago.
Contributor

12 Commits in mostly coq

Analyzed 1 day ago. based on code collected 1 day ago.
Analyzed 25 days ago. based on code collected 26 days ago.
Analyzed about 22 hours ago. based on code collected 1 day ago.
Analyzed 3 months ago. based on code collected 3 months ago.

26 Commits in mostly Emacs Lisp

Analyzed over 1 year ago. based on code collected over 1 year ago.
Analyzed about 15 hours ago. based on code collected about 16 hours ago.