Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/ericthewry

Badges

Overview
Ranks
Repositories
Languages

Eric Campbell

@ericthewry

🇺🇸 Austin, TX

UT Austin

Profile age: almost 11 years

Updated about 10 hours ago

16 followers • 2 following

Contacts

ericthewry.github.io

Organizations

Repositories

1

0

updated over 7 years ago • age over 7 years

Haskell100.0%

1

0

updated 12 months ago • age 12 months

Python100.0%

1

0

updated over 4 years ago • age about 6 years

Haskell48.3%

F*42.5%

Yacc5.1%

Lex2.1%

Makefile2.1%

0

0

updated about 10 years ago • age about 10 years

Python100.0%

0

1

updated almost 8 years ago • age almost 8 years

P468.1%

Python31.9%

0

0

updated over 3 years ago • age over 3 years

Processing100.0%

0

0

updated about 10 years ago • age about 10 years

Shell100.0%

Contributions

2024
capisce
1 PR +13,265-2,018
P4
1
0
6
2023
petr4
2 PRs +16-130
P4
82
22
3
2022
petr4
3 PRs +4,961-131
P4
82
22
3
pl.cs.cornell.edu
1 PR +0-0
HTML
9
28
p4pp
1 PR +16-12
OCaml
6
4
2021
petr4
~9 PRs +49,303-4,687
P4
82
22
3
2018
nopticon
2 PRs +231-2
C++
0
2
2016
graphstreams
2 PRs +2,965-185
Python
1
0
2015
mathswipe
1 PR +11-1,815
JavaScript
3
1
CS051Proposal
~9 PRs +73-30
Python
2
0