Skip to content
@TyGuS

TyGuS

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

Popular repositories Loading

  1. suslik suslik Public

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Scala 122 20

  2. hoogle_plus hoogle_plus Public

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

    Haskell 61 8

  3. ssl-htt ssl-htt Public

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

    Coq 8

  4. suslik-tutorial suslik-tutorial Public

    6

  5. robosuslik robosuslik Public

    Synthesis with Read-Only Borrows

    Scala 1 1

  6. htt htt Public

    Forked from imdea-software/htt

    Hoare Type Theory

    Coq

Repositories

Showing 10 of 10 repositories
  • suslik Public

    Synthesis of Heap-Manipulating Programs from Separation Logic

    TyGuS/suslik’s past year of commit activity
    Scala 122 20 8 (3 issues need help) 12 Updated Apr 18, 2023
  • hoogle_plus Public

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

    TyGuS/hoogle_plus’s past year of commit activity
    Haskell 61 MIT 8 13 (3 issues need help) 2 Updated Mar 12, 2023
  • suslik-tutorial Public
    TyGuS/suslik-tutorial’s past year of commit activity
    6 0 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.

    TyGuS/ssl-htt’s past year of commit activity
    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.

    TyGuS/ssl-iris’s past year of commit activity
    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.

    TyGuS/ssl-vst’s past year of commit activity
    Coq 0 0 0 0 Updated Mar 3, 2021
  • iris Public
    TyGuS/iris’s past year of commit activity
    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

    TyGuS/coqhammer’s past year of commit activity
    OCaml 0 31 0 0 Updated Jan 30, 2021
  • htt Public Forked from imdea-software/htt

    Hoare Type Theory

    TyGuS/htt’s past year of commit activity
    Coq 0 Apache-2.0 5 0 0 Updated Jul 16, 2020
  • robosuslik Public

    Synthesis with Read-Only Borrows

    TyGuS/robosuslik’s past year of commit activity
    Scala 1 1 0 0 Updated Jan 30, 2020

Top languages

Loading…

Most used topics

Loading…