Olof Kindgren : Positions

I

81 Commits in mostly Python

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

V

34 Commits in mostly coq

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

L

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

M

17 Commits in mostly coq

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

O

242 Commits in mostly coq

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

E

4 Commits in mostly C

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

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

P

1 Commit in mostly VHDL

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

O

13 Commits in mostly Assembly

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

L

14 Commits in mostly Python

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

Olof Kindgren