Badges

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

/pedrotst

Badges

Overview
Ranks
Repositories
Languages

Pedro Abreu

@pedrotst

🇧🇷 Brasília, Brasil

Type Theory Forall

Profile age: over 11 years

Updated 11 days ago

189 followers • 411 following

Contacts

abreu223@Hotmail.com

https://pedroabreu0.github.io/

Organizations

Language Ranks Breakdown

Coq

Expert 5

3 stars
to reach Master 1

Position: 94 / 1.4K

Language Score: 26

Top 7% of all ranked profiles

This month change: ↑4

Makefile

Expert 3

2 stars
to reach Expert 4

Position: 13,644 / 143.9K

Language Score: 7

Top 10% of all ranked profiles

This month change: ↓100

Shell

Adept 4

2 stars
to reach Adept 5

Position: 110,115 / 336.8K

Language Score: 3

Top 40% of all ranked profiles

This month change: ↓1,191

HTML

Adept 5

2 stars
to reach Advanced 1

Position: 180,451 / 613.5K

Language Score: 3

Top 30% of all ranked profiles

This month change: ↓1,745

Jupyter Notebook

Beginner 4

2 stars
to reach Beginner 5

Position: 105,247 / 166.3K

Language Score: 2

This month change: ↓1,381

TeX

Beginner 4

1 star
to reach Beginner 5

Position: 26,895 / 40.6K

Language Score: 1

This month change: ↓226

Python

Beginner 3

2 stars
to reach Beginner 4

Position: 538,217 / 706.5K

Language Score: 1

This month change: ↓7,048

C++

Beginner 3

1 star
to reach Beginner 4

Position: 208,669 / 273.2K

Language Score: 1

This month change: ↓1,804

Java

Beginner 3

1 star
to reach Beginner 4

Position: 196,224 / 262K

Language Score: 1

This month change: ↓1,122

JavaScript

Beginner 4

2 stars
to reach Beginner 5

Position: 481,055 / 709.4K

Language Score: 1

This month change: ↓4,326