TyGuS

hoogle_plus Public

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

Haskell 64MIT 8 13 (3 issues need help) 3 Updated Jul 19, 2025

suslik Public

Synthesis of Heap-Manipulating Programs from Separation Logic

Scala 129 21 8 (3 issues need help) 12 Updated Apr 18, 2023

suslik-tutorial Public

7 1 0 0 Updated Jul 14, 2022

ssl-htt Public

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

Coq 8 0 0 0 Updated Jul 5, 2021

ssl-iris Public

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

Coq 0 0 0 0 Updated May 18, 2021

ssl-vst Public

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

Coq 0 0 1 0 Updated Mar 3, 2021

iris Public

Coq 0 0 0 0 Updated Mar 2, 2021

coqhammer Public Forked from lukaszcz/coqhammer

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

OCaml 0 38 0 0 Updated Jan 30, 2021

htt Public Forked from imdea-software/htt

Hoare Type Theory

Coq 0Apache-2.0 8 0 0 Updated Jul 16, 2020

robosuslik Public

Synthesis with Read-Only Borrows

Scala 2 1 0 0 Updated Jan 30, 2020

Navigation Menu

Uh oh!

Uh oh!

TyGuS

Popular repositories Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!