Herb.jl: Teaching Programs How to Program with Program Synthesis

Herb.jl: Teaching Programs How to Program with Program Synthesis

Explore program synthesis with Herb.jl in this 10-minute conference talk from JuliaCon 2024. Discover how this Julia library automates program generation from specifications, providing a toolbox for developing new synthesizers and unifying various synthesis approaches. Learn about Herb.jl's dual goals of filling a community gap and creating a framework for easy application of existing synthesizers to new problems. Gain insights into how Julia enhances library development, algorithm speed, and synthesis procedure composability in the context of program synthesis.