TyGuS/hoogle_plus

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

HaskellStars 61Forks 8Watchers 61Open issues 16License MIT License

Details

仓库信息

OwnerTyGuS

Homepage—

Last pushed2025-07-19

Last updated2025-12-15

Issues fetched at—

Community at a glance