Emina Torlak

@emina

Open GitHub

🇺🇸 Seattle

University of Washington

Profile age: over 14 years

Updated 4 days ago

316 followers • 0 following

Contacts

http://homes.cs.washington.edu/~emina/

Repositories

rosette

669

updated 2 months ago • age about 11 years

Racket76.0%

HTML18.5%

TypeScript4.6%

Python0.4%

JavaScript0.4%

kodkod

updated over 2 years ago • age about 10 years

Java98.1%

Python0.6%

HTML0.6%

C++0.5%

C0.1%

Contributions

2025
cedar-spec
3 PRs +33,648-234
Lean
137
28
6
rfcs
1 PR +471-0
18
15
2024
cedar-spec
~16 PRs +566-6,338
Lean
137
28
6
rfcs
3 PRs +271-19
18
15
2023
cedar-spec
~7 PRs +5,704-503
Lean
137
28
6
rfcs
2 PRs +231-0
18
15
2016
wallingford
1 PR +296-286
Racket
50
3