Giters
TyGuS

TyGuS

Geek Repo

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

Github PK Tool:Github PK Tool

TyGuS's repositories

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

Language:ScalaLicense:NOASSERTIONStargazers:121Issues:10Issues:11

hoogle_plus

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

Language:HaskellLicense:MITStargazers:60Issues:6Issues:78

ssl-htt

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

Language:CoqStargazers:8Issues:3Issues:0

suslik-tutorial

Stargazers:6Issues:2Issues:0

robosuslik

Synthesis with Read-Only Borrows

Language:ScalaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

htt

Hoare Type Theory

Language:CoqLicense:Apache-2.0Stargazers:0Issues:2Issues:0

iris

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ssl-iris

Coq tactics for certification of the results of SSL-based program synthesis via Iris logic.

Language:CoqStargazers:0Issues:2Issues:0

ssl-vst

Coq tactics for certification of the results of SSL-based program synthesis via the Verified Software Toolchain.

Language:CoqStargazers:0Issues:2Issues:0