Nadia Polikarpova

icon indicating a website link https://cseweb.ucsd.edu/~npolikarpova/

icon company UC San Diego

Results 2 repositories owned by Nadia Polikarpova

cse291-program-synthesis

196
Stars
30
Forks
Watchers

Program Synthesis Course

verified publisher icon nadia-polikarpova

synquid

97
Stars
9
Forks
Watchers

verified publisher icon nadia-polikarpova