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 Public

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

    Julia 28 4

  2. HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 6 2

  3. Garden.jl Public

    Please water the Herbs.

    Julia 1

  4. HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Julia 1

  5. HerbGrammar.jl Public

    Grammars for Herb.jl

    Julia 2

  6. HerbConstraints.jl Public

    Constraints for Herb.jl

    Julia

Repositories

Showing 10 of 25 repositories
  • HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 6 MIT 2 21 6 Updated Mar 26, 2025
  • HerbGrammar.jl Public

    Grammars for Herb.jl

    Julia 0 MIT 2 20 1 Updated Mar 26, 2025
  • HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Julia 1 MIT 0 38 7 Updated Mar 25, 2025
  • HerbConstraints.jl Public

    Constraints for Herb.jl

    Julia 0 MIT 0 26 3 Updated Mar 25, 2025
  • HerbCore.jl Public

    Core structures for Herb.jl

    Julia 0 MIT 1 6 (1 issue needs help) 3 Updated Mar 24, 2025
  • Herb.jl Public

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

    Julia 28 MIT 4 27 1 Updated Mar 17, 2025
  • Garden.jl Public

    Please water the Herbs.

    Julia 1 MIT 0 1 1 Updated Feb 27, 2025
  • HerbInterpret.jl Public

    Program interpreters for the Herb.jl framework

    Julia 0 MIT 1 8 (1 issue needs help) 3 Updated Dec 16, 2024
  • HerbSpecification.jl Public

    Specification to define program synthesis problems in Herb.jl

    Julia 0 MIT 1 0 1 Updated Dec 12, 2024
  • HerbLearn.jl Public

    Machine Learning module of Herb

    1 MIT 0 7 0 Updated Aug 6, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…