GeezerVison is showing github.com — TyGuS
Popular repositories
Loading
Synthesis of Heap-Manipulating Programs from Separation Logic
Scala
132
21
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Haskell
65
8
Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.
Coq
8
Synthesis with Read-Only Borrows
Scala
2
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Coq
Haskell
OCaml
Scala
Sort
Showing 10 of 10 repositories
hoogle_plus
Public
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
TyGuS/hoogle_plus's past year of commit activity
suslik
Public
Synthesis of Heap-Manipulating Programs from Separation Logic
TyGuS/suslik's past year of commit activity
TyGuS/suslik-tutorial's past year of commit activity
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.
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
1
0
Updated Mar 3, 2021
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
38
0
0
Updated Jan 30, 2021
TyGuS/htt's past year of commit activity
Coq
0
Apache-2.0
8
0
0
Updated Jul 16, 2020
robosuslik
Public
Synthesis with Read-Only Borrows
TyGuS/robosuslik's past year of commit activity
Scala
2
0
0
0
Updated Jan 30, 2020
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.