Sirui Lu

icon indicating an email [email protected]

icon company @uwplse icon location Seattle, WA icon location PhD candidate at the University of Washington.

Results 1 repositories owned by Sirui Lu

grisette

51
Stars
3
Forks
Watchers

A monadic library for symbolic evaluation

verified publisher icon lsrcz