Rankings
Badges
/
j-loreaux
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jireh Loreaux
@j-loreaux
Refresh
Open GitHub
🇺🇸 Edwardsville, IL
Profile age: about 11 years
Updated 1 day ago
7 followers • 0 following
Contacts
loreaujy@gmail.com
http://siue.edu/~jloreau
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 5
Persona
Contributor
#1,154,576
#1,466,786
#1,593,688
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
uc-dissertation-latex-class
5
2
updated about 10 years ago • age about 11 years
TeX
100.0%
LeanOA
1
0
updated 15 days ago • age 12 months
Lean
87.4%
TeX
6.8%
HTML
4.6%
Ruby
1.2%
LeanCFC
0
0
updated 9 months ago • age 9 months
Lean
100.0%
Last Contributions
2025
leanprover-community.github.io
1 PR
+7
-0
CSS
64
159
2024
leanprover-community.github.io
1 PR
+2
-2
CSS
64
159
LFTCM2024
2 PRs
+479
-2
Lean
11
6
2023
batteries
1 PR
+4
-1
Lean
333
126
29
mathematics_in_lean_source
1 PR
+69
-69
Lean
172
89
7
View all contributions
Subscribe to j-loreaux's GitHub rank updates in your messenger
WhatsApp
Telegram
