Stephen Edwards

@sedwards-lab

Open GitHub

🇺🇸 United States

Columbia University

Profile age: over 14 years

Updated 26 days ago

19 followers • 0 following

Contacts

sedwards@cs.columbia.edu

http://www.cs.columbia.edu/~sedwards

Profile Overview

Global United States

Global Rank

Adept 4

Persona

Influencer

#783,737

#2,069,086

#744,667

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

fhw

updated over 3 years ago • age over 4 years

Haskell96.6%

C1.8%

Yacc0.7%

Shell0.5%

SystemVerilog0.4%

ssm

updated about 4 years ago • age over 5 years

C92.8%

Makefile5.1%

Shell2.1%

peng

updated over 4 years ago • age about 5 years

C82.6%

Haskell14.7%

RPC1.4%

Shell0.7%

Yacc0.6%

sslang

updated about 4 years ago • age about 4 years

C48.0%

Haskell43.5%

RPC4.3%

Shell2.4%

Yacc1.8%

Last Contributions

2022
sslang
1 PR +314-53
Haskell
18
0
2021
haskell-z3
1 PR +211-1
Haskell
62
47
sslang
1 PR +346-163
Haskell
18
0

View all contributions

Subscribe to sedwards-lab's GitHub rank updates in your messenger

WhatsApp Telegram