Skip to content
@Herb-AI

Herb-AI

Julia toolbox for [probabilistic|logic] program [induction|synthesis]

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 25 3

  2. HerbSearch.jl HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 5 1

  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 2

  6. HerbConstraints.jl HerbConstraints.jl Public

    Constraints for Herb.jl

    Julia

Repositories

Showing 10 of 25 repositories
  • HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Herb-AI/HerbSearch.jl’s past year of commit activity
    Julia 5 MIT 1 21 5 Updated Dec 17, 2024
  • HerbCore.jl Public

    Core structures for Herb.jl

    Herb-AI/HerbCore.jl’s past year of commit activity
    Julia 0 MIT 1 5 (1 issue needs help) 0 Updated Dec 17, 2024
  • HerbInterpret.jl Public

    Program interpreters for the Herb.jl framework

    Herb-AI/HerbInterpret.jl’s past year of commit activity
    Julia 0 MIT 0 9 (1 issue needs help) 2 Updated Dec 16, 2024
  • HerbConstraints.jl Public

    Constraints for Herb.jl

    Herb-AI/HerbConstraints.jl’s past year of commit activity
    Julia 0 MIT 0 24 0 Updated Dec 16, 2024
  • HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Herb-AI/HerbBenchmarks.jl’s past year of commit activity
    Julia 1 MIT 0 33 10 Updated Dec 13, 2024
  • 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 25 MIT 3 12 4 Updated Dec 13, 2024
  • HerbGrammar.jl Public

    Grammars for Herb.jl

    Herb-AI/HerbGrammar.jl’s past year of commit activity
    Julia 0 MIT 2 18 0 Updated Dec 12, 2024
  • HerbSpecification.jl Public

    Specification to define program synthesis problems in Herb.jl

    Herb-AI/HerbSpecification.jl’s past year of commit activity
    Julia 0 MIT 1 0 1 Updated Dec 12, 2024
  • Garden.jl Public

    Please water the Herbs.

    Herb-AI/Garden.jl’s past year of commit activity
    Julia 1 MIT 0 0 2 Updated Dec 11, 2024
  • HerbLearn.jl Public

    Machine Learning module of Herb

    Herb-AI/HerbLearn.jl’s past year of commit activity
    1 MIT 0 7 0 Updated Aug 6, 2024

Top languages

Loading…

Most used topics

Loading…