Thanks to visit codestin.com
Credit goes to github.com

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 35 6

  2. HerbSearch.jl HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 7 3

  3. Garden.jl Garden.jl Public

    Please water the Herbs.

    Julia 1

  4. HerbBenchmarks.jl HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Julia 1

  5. HerbGrammar.jl HerbGrammar.jl Public

    Grammars for Herb.jl

    Julia 1

  6. HerbConstraints.jl HerbConstraints.jl Public

    Constraints for Herb.jl

    Julia

Repositories

Showing 10 of 25 repositories
  • Herb.jl Public

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

    Herb-AI/Herb.jl’s past year of commit activity
    Julia 35 MIT 6 29 5 Updated Dec 19, 2025
  • HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Herb-AI/HerbBenchmarks.jl’s past year of commit activity
    Julia 1 MIT 0 42 11 Updated Dec 18, 2025
  • HerbGrammar.jl Public

    Grammars for Herb.jl

    Herb-AI/HerbGrammar.jl’s past year of commit activity
    Julia 0 MIT 1 24 2 Updated Dec 17, 2025
  • HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Herb-AI/HerbSearch.jl’s past year of commit activity
    Julia 7 MIT 3 28 7 Updated Dec 17, 2025
  • HerbConstraints.jl Public

    Constraints for Herb.jl

    Herb-AI/HerbConstraints.jl’s past year of commit activity
    Julia 0 MIT 0 28 4 Updated Dec 16, 2025
  • HerbCore.jl Public

    Core structures for Herb.jl

    Herb-AI/HerbCore.jl’s past year of commit activity
    Julia 0 MIT 2 7 (2 issues need help) 3 Updated Dec 8, 2025
  • Herb-AI.github.io Public

    Website for everything around the Herb.jl package

    Herb-AI/Herb-AI.github.io’s past year of commit activity
    HTML 1 MIT 1 0 1 Updated Nov 28, 2025
  • Garden.jl Public

    Please water the Herbs.

    Herb-AI/Garden.jl’s past year of commit activity
    Julia 1 MIT 0 4 3 Updated Nov 25, 2025
  • HerbInterpret.jl Public

    Program interpreters for the Herb.jl framework

    Herb-AI/HerbInterpret.jl’s past year of commit activity
    Julia 0 MIT 1 8 (1 issue needs help) 1 Updated Jun 19, 2025
  • HerbLearn.jl Public

    Machine Learning module of Herb

    Herb-AI/HerbLearn.jl’s past year of commit activity
    1 MIT 0 7 0 Updated Mar 31, 2025
View all repositories