Create your Sourcerer profile
Start
1

Pedro Abreu

pedrotst

PhD Student at Purdue with interests in PL, theorem provers, and compilers.
Brasilia, Brazil
Commits
1160
Repos
32
Lines of code
155796
Following
0
2
Overview
32 repos
Last updated: 2018/11/25 — 15:11:00
3
Languages
32 repos
Last updated: 2018/11/25 — 15:11:00
Coq
 
Commits:
466
LOC:
46321
TeX
 
Commits:
265
LOC:
30431
C
 
Commits:
193
LOC:
13096
C++
 
Commits:
102
LOC:
15022
Verilog
 
Commits:
95
LOC:
1890
XML
 
Commits:
90
LOC:
668
4
Technologies
32 repos
Last updated: 2018/11/25 — 15:11:00
Engineering Tools
31 commits
Graphical User Interface
12 commits
Image Processing
5 commits
5
Fun facts
32 repos
Last updated: 2018/11/25 — 15:11:00

I'm most productive on

Tuesdays
16% of users
Tu

I'm most productive during

evenings
39% of users
e

I prefer

snake_case

for naming variables

I prefer

tabs

for indentation

I prefer

list comprehensions

I`m a

Top HTML Developer

I`m a

Top C++ Developer

I`m a

Top Java Developer

I`m a

Top C Developer
6
Repositories
32 repos
Last updated: 2018/11/25 — 15:11:00
#
Repository
Commits
Team
Language
Timeline
2
JVM
192
7
C++
3
JVM
192
7
C++
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
Haskell
Balde onde jogo trabalhos escritos
10
pedroabreu0.github.io
44
2
CSS
Template for jekyll base website and blog
Show more