GitHub repository: Herb-AI/Herb.jl
Primary language: Julia
Description: A library for defining and efficiently solving program synthesis tasks in Julia.