Aix-bench, the Java benchmark for code synthesis problem.

Tool for automated generation of computational workflows.

Resolve conflicts via version space algebra in structured merge.

A library helping you transform strings by providing examples instead of coding (PBE)

Java class file loader for analysis & synthesis

Program Synthesis for B in ProB

Active Inductive Logic Programming for Code Search (ICSE 2019)

A collection various program synthesizers built using Java

Repair and Generation of Formal Models Using Synthesis (User Interface)

Software Verification course project - Fixing bugs using a working example as a specification