Rankings
Badges
/
TomasOrtega
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tomas Ortega
@TomasOrtega
Refresh
Open GitHub
🇺🇸 Irvine, California
University of California, Irvine
Profile age: over 9 years
Updated 10 days ago
13 followers • 12 following
Contacts
tomaso@uci.edu
tomasortega.net
in/tomas-ortega-sc
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Beginner 5
Persona
Contributor
#108,089
#150,357
#139,638
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
LDPC
8
2
updated over 4 years ago • age over 4 years
MATLAB
86.8%
Shell
7.2%
GAP
3.1%
C++
2.8%
TellMeTwice
0
0
updated 12 months ago • age about 1 year
Python
51.0%
Shell
49.0%
Last Contributions
2025
formal-conjectures
1 PR
+40
-0
Lean
649
85
compfiles
2 PRs
+327
-32
Lean
200
46
Sphere-Packing-Lean
1 PR
+19
-2
Lean
26
16
7
2023
Score_Based_Diffusion
1 PR
+893
-407
Jupyter Notebook
1
0
2018
upcSad
1 PR
+35
-0
Java
0
0
View all contributions
Latest Updates
27 Sep 2025
Followers Count:
12
13
11 Sep 2025
Followers Count:
11
12
27 Jul 2025
Followers Count:
12
11
12 Apr 2025
First seen
Subscribe to TomasOrtega's GitHub rank updates in your messenger
WhatsApp
Telegram
