Gabriel Ryan

@gryan11

Open GitHub

🇺🇸 Cambridge, MA

@Microsoft

Profile age: about 15 years

Updated 8 days ago

20 followers • 5 following

Contacts

https://gryan11.github.io/

Organizations

Profile Overview

Global United States

Global Rank

Adept 5

Persona

Creator

#351,901

N/A

#701,591

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

PGA

updated over 4 years ago • age almost 5 years

C++42.4%

LLVM30.9%

C13.3%

Assembly11.7%

Objective-C1.7%

cln2inv

updated over 5 years ago • age over 5 years

Roff60.5%

SMT29.9%

Python5.3%

C4.2%

cln_tutorial

updated over 4 years ago • age over 5 years

Jupyter Notebook93.4%

Python4.9%

SMT1.7%

dftools

updated about 4 years ago • age over 5 years

Python100.0%

try_git

updated almost 13 years ago • age almost 13 years

View all 6 repositories

Last Contributions

2018
MC-Lite
4 PRs +346-150
OCaml
1
0

View all contributions

Latest Updates

15 Sep 2025
Followers Count:19 20
01 Sep 2025
Followers Count:17 19
18 Aug 2025
Followers Count:16 17
10 May 2025
Website Url:cs.columbia.edu/~gabe https://gryan11.github.io/
06 Jan 2025
First seen

Subscribe to gryan11's GitHub rank updates in your messenger

WhatsApp Telegram