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
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%
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
