nadia-polikarpova

Nadia Polikarpova's repositories

Program Synthesis Course

Language:HaskellMIT113 5 2

Cyclic theorem prover for equalitional reasoning using egraphs

Language:Rust23 10

Web page for CSE 130

Language:JavaScriptMIT5 40

Language:HaskellBSD-3-Clause4 20

Fully specified and verified container library for Eiffel

Language:Eiffel3 50

Language:HaskellBSD-3-Clause1 20

Language:Rust1 10

Code for "Constraint Solvers for the Working PL Researcher"

Language:Python1 20

020

experimental library learning

Language:RustMIT010

010

SIGPLAN website

Language:HTML000

Women in Programming Languages and Software Engineering Research

020