Explore @TyGuS Open Source projects

@TyGuS

TyGuS

Stars
191
Global Org. Rank 41,410 (Top 14 %)
Registered over 7 years ago
Most used languages

Scala
50.0 %

Haskell
25.0 %

Coq 25.0 %

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

hoogle_plus

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

ssl-htt

Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.

suslik-tutorial

robosuslik

Synthesis with Read-Only Borrows