TyGuS

TyGuS

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
187 Stars
29 Forks
187 Watchers

Repositories (2)

suslik TyGuS/suslik Scala

Synthesis of Heap-Manipulating Programs from Separation Logic

127
hoogle_plus TyGuS/hoogle_plus Haskell

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

60