Last released Aug 21, 2026
Type based synthesis framework using inhabitation in FCLP
Last released Jun 3, 2026
Pipeline Synthesis Framework based on Finite Combinatory Logic with Predicates