nadia-polikarpova

UC San Diego

Pinned Repositories

boogaloo
Language:Haskell4 2 04
cse130-web
Web page for CSE 130
Language:JavaScript5 4 05
cse291-program-synthesis
Program Synthesis Course
247 32 1137
cyclegg
Cyclic theorem prover for equalitional reasoning using egraphs
Language:Rust24 1 03
eiffelbase2
Fully specified and verified container library for Eiffel
Language:Eiffel3 5 02
language-eiffel
Language:Haskell1 2 00
poetry
6 2 00
routers
Language:Rust1 1 00
smt-talk
Code for "Constraint Solvers for the Working PL Researcher"
Language:Python2 2 00
synquid
Language:Haskell119 5 315

nadia-polikarpova's Repositories

nadia-polikarpova/cse291-program-synthesis
Program Synthesis Course
247 32 1137
nadia-polikarpova/synquid
Language:Haskell119 5 315
nadia-polikarpova/cyclegg
Cyclic theorem prover for equalitional reasoning using egraphs
Language:Rust24 1 03
nadia-polikarpova/poetry
6 2 00
nadia-polikarpova/cse130-web
Web page for CSE 130
Language:JavaScript5 4 05
nadia-polikarpova/boogaloo
Language:Haskell4 2 04
nadia-polikarpova/eiffelbase2
Fully specified and verified container library for Eiffel
Language:Eiffel3 5 02
nadia-polikarpova/smt-talk
Code for "Constraint Solvers for the Working PL Researcher"
Language:Python2 2 00
nadia-polikarpova/language-eiffel
Language:Haskell1 2 00
nadia-polikarpova/routers
Language:Rust1 1 00
nadia-polikarpova/against-junior-faculty-stress
0 2 00
nadia-polikarpova/babble
experimental library learning
Language:Rust1 0
nadia-polikarpova/icfp2020-captions
1 0
nadia-polikarpova/SIGPLAN.github.io
SIGPLAN website
Language:HTML0 0
nadia-polikarpova/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
2 0