Nadia Polikarpova

cse291-program-synthesis. Program Synthesis Course

synquid. Haskell

cyclegg. Cyclic theorem prover for equalitional reasoning using egraphs

poetry.

cse130-web. Web page for CSE 130

boogaloo. Haskell

gpt-scientist. A lightweight library for processing text datasets using large langugae models.

eiffelbase2. Fully specified and verified container library for Eiffel

smt-talk. Code for "Constraint Solvers for the Working PL Researcher"

babble. experimental library learning

routers. Rust

language-eiffel. Haskell