Skip to content
@Herb-AI

Herb-AI

Julia toolbox for [probabilistic|logic] program [induction|synthesis]
README.md

Hey, this is us 👋

Welcome to Herb-AI, a Julia toolbox for program synthesis.

Make sure to check out our website and Herb.jl's documentation.

Herb-AI is maintained by the PONY lab at TU Delft.

Pinned Loading

  1. Herb.jl Herb.jl Public

    A library for defining and efficiently solving program synthesis tasks in Julia.

    Julia 43 9

  2. HerbSearch.jl HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 8 9

  3. Garden.jl Garden.jl Public

    Please water the Herbs.

    Julia 2

  4. HerbBenchmarks.jl HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Julia 1 2

  5. HerbGrammar.jl HerbGrammar.jl Public

    Grammars for Herb.jl

    Julia 1

  6. HerbConstraints.jl HerbConstraints.jl Public

    Constraints for Herb.jl

    Julia 1 2

Repositories

Showing 10 of 27 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…