Create your Sourcerer profile
Start
1

Pedro Abreu

pedrotst

PhD Student at Purdue with interests in PL, theorem provers, and compilers.
Brasilia, Brazil
Commits
1577
Repos
32
Lines of code
5533843
Following
0
2
Overview
32 repos
Last updated: 2019/02/12 — 00:02:00
3
Languages
32 repos
Last updated: 2019/02/12 — 00:02:00
TeX
 
Commits:
601
LOC:
52827
Coq
 
Commits:
507
LOC:
65044
C++
 
Commits:
395
LOC:
42730
Java
 
Commits:
373
LOC:
28370
HTML
 
Commits:
357
LOC:
5227571
JavaScript
 
Commits:
304
LOC:
9098
4
Technologies
32 repos
Last updated: 2019/02/12 — 00:02:00
Engineering Tools
31 commits
Graphical User Interface
26 commits
Image Processing
5 commits
5
Fun facts
32 repos
Last updated: 2019/02/12 — 00:02:00

I'm most productive during

evenings
39% of users
e

I'm most productive on

Tuesdays
16% of users
Tu

I've used

C for 1 year

I've used

HTML for 1 year

I prefer

snake_case

for naming variables

I prefer

tabs

for indentation

I prefer

list comprehensions

I've used

Python for 2 years
6
Repositories
32 repos
Last updated: 2019/02/12 — 00:02:00
#
Repository
Commits
Team
Language
Timeline
2
JVM
192
7
HTML
3
JVM
192
7
HTML
4
coqffj
155
1
Coq
5
hffj
127
5
Coq
An implementation of Feature Featherweight Java (FFJ) using Hephaestus. 
6
tradutores
127
3
C
7
tg-ffj
76
4
TeX
8
ffj-article
58
5
TeX
9
trabalde
52
3
TeX
Balde onde jogo trabalhos escritos
10
pedroabreu0.github.io
44
2
CSS
Template for jekyll base website and blog
Show more
7
⭐ Coworker Superstars
Lysxia
rodrigowerberich
marcelo107
vmurali
daniangelos
gessikete