Create your Sourcerer profile
Start
1

Pedro Abreu

pedrotst

PhD Student at Purdue with interests in PL, theorem provers, and compilers.
Brasilia, Brazil
Member
00004904
Commits
992
Repos
30
Lines of code (LOC)
113571
2
Overview
30 repos
Last updated: 2018/08/21 — 15:08:00
3
Languages
30 repos
Last updated: 2018/08/21 — 15:08:00
coq
 
Commits:
375
LOC:
32629
TeX
 
Commits:
203
LOC:
23280
C
 
Commits:
173
LOC:
11578
Java
 
Commits:
101
LOC:
1180
C++
 
Commits:
100
LOC:
10772
XML
 
Commits:
83
LOC:
1407
4
Technologies
30 repos
Last updated: 2018/08/21 — 15:08:00
Engineering Tools
31 commits
Graphical User Interface
12 commits
Image Processing
5 commits
5
Code
30 repos
Last updated: 2018/08/21 — 15:08:00
Repository facts
#
Repository
Commits
Team
Language
Tech
Timeline
1
282
5
coq
2
155
1
coq
4
104
7
C++
5
88
7
C++
6
76
4
TeX
8
46
3
Haskell
9
42
1
XML
Show more
All
repositories
Avg
Commits
Avg
Team size
Average
41
7
6
Fun facts
30 repos
Last updated: 2018/08/21 — 15:08:00

I'm most productive on

Tuesdays
16% of users
Tu

I'm most productive at

night
39% of users
n

I prefer

snake_case

for naming variables

I prefer

tabs

for indentation

I prefer

list comprehensions