TyGuS

icon location Type-Guided Synthesis: Program Synthesis via Type Systems and Program Logics

Results 2 repositories owned by TyGuS
trafficstars

suslik

121
Stars
20
Forks
Watchers

Synthesis of Heap-Manipulating Programs from Separation Logic

verified publisher icon TyGuS

hoogle_plus

60
Stars
8
Forks
Watchers

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

verified publisher icon TyGuS