Rankings
Badges
/
pedrotst
Rankings
Badges
Overview
Ranks
Repositories
Languages
Pedro Abreu
@pedrotst
Refresh
Open GitHub
🇧🇷 Brasília, Brasil
Type Theory Forall
Profile age: over 11 years
Updated 10 days ago
189 followers • 411 following
Contacts
abreu223@Hotmail.com
https://pedroabreu0.github.io/
@p_droabreu0
in/pedroabreu0
Organizations
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 1
Persona
Influencer
#438,435
#118,251
#56,864
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
coquedille
34
2
updated about 5 years ago • age about 6 years
Coq
74.6%
Makefile
18.8%
Shell
6.6%
JVM
3
0
updated over 9 years ago • age over 9 years
HTML
74.0%
TeX
13.0%
C++
6.9%
Java
4.3%
JavaScript
1.8%
cs573_finalproj
2
0
updated almost 2 years ago • age almost 2 years
Jupyter Notebook
99.4%
Python
0.6%
ffj-article
0
1
updated about 8 years ago • age over 8 years
TeX
100.0%
berkeley-hardfloat
0
0
updated over 7 years ago • age over 7 years
Scala
57.6%
Verilog
22.5%
C++
11.7%
Makefile
5.0%
C
3.2%
Last Contributions
2024
CS565Grader
2 PRs
+7
-7
Coq
0
1
2023
coq-elpi
1 PR
+1
-1
Rocq Prover
177
67
66
2021
coq-of-ocaml
~8 PRs
+1,124
-398
OCaml
267
21
16
2020
agda
1 PR
+1
-1
Haskell
2,730
387
14
cedille
1 PR
+1
-1
Agda
384
27
4
View all contributions
Latest Updates
21 Oct 2025
Followers Count:
187
189
07 Oct 2025
Followers Count:
189
187
22 Sep 2025
Followers Count:
186
189
11 Aug 2025
Followers Count:
187
186
27 Jul 2025
Followers Count:
186
187
08 Jan 2025
First seen
Subscribe to pedrotst's GitHub rank updates in your messenger
WhatsApp
Telegram
