Rankings
Badges
/
BartoszPiotrowski
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bartosz Piotrowski
@BartoszPiotrowski
Refresh
Open GitHub
🇺🇸 New York, NY
Meta Fundamental AI Research (FAIR)
Profile age: almost 11 years
Updated 14 days ago
16 followers • 7 following
Contacts
bpio@meta.com
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Creator
#596,941
#1,721,192
#869,161
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean-premise-selection
22
5
updated almost 2 years ago • age about 3 years
Lean
78.4%
Shell
11.7%
TypeScript
6.1%
JavaScript
2.6%
Python
1.2%
random-forest
1
0
updated about 3 years ago • age almost 5 years
OCaml
94.5%
Shell
3.1%
Makefile
2.4%
premises
0
0
updated almost 7 years ago • age almost 8 years
Last Contributions
2024
publications_2024
1 PR
+5
-4
2
11
2023
ProofNet
1 PR
+30
-194
Lean
109
14
2022
mathematics_in_lean_source
1 PR
+15
-15
Lean
172
89
7
View all contributions
Latest Updates
14 Jul 2025
Company:
Meta Fundamental AI Research (FAIR)
Email:
bartoszpiotrowski@post.pl
bpio@meta.com
Location:
Warsaw
New York, NY
29 Jun 2025
Avatar:
changed
16 Jan 2025
First seen
Subscribe to BartoszPiotrowski's GitHub rank updates in your messenger
WhatsApp
Telegram
