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
  • HerbCore.jl Public

    Core structures for Herb.jl

    Herb-AI/HerbCore.jl's past year of commit activity
    Julia 0 MIT 2 10 (2 issues need help) 4 Updated Sep 10, 2026
  • HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Herb-AI/HerbSearch.jl's past year of commit activity
    Julia 8 MIT 9 36 8 Updated Sep 8, 2026
  • HerbConstraints.jl Public

    Constraints for Herb.jl

    Herb-AI/HerbConstraints.jl's past year of commit activity
    Julia 1 MIT 2 37 5 Updated Sep 8, 2026
  • HerbBenchmarks.jl Public

    Benchmarks and problems for Herb.jl

    Herb-AI/HerbBenchmarks.jl's past year of commit activity
    Julia 1 MIT 2 44 8 Updated Sep 8, 2026
  • 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 43 MIT 9 31 (1 issue needs help) 4 Updated Sep 7, 2026
  • CRNSynthesizer Public Forked from RichardWijers/CRNSynthesizer

    Automated discovery of chemical reaction networks based on (partial) measurements with Program Synthesis. Part of the Research Project 2026 Q4 at TU Delft.

    Herb-AI/CRNSynthesizer's past year of commit activity
    Julia 0 MIT 2 0 0 Updated Sep 5, 2026
  • 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 0 Updated Jul 17, 2026
  • HerbInterpret.jl Public

    Program interpreters for the Herb.jl framework

    Herb-AI/HerbInterpret.jl's past year of commit activity
    Julia 0 MIT 2 11 (1 issue needs help) 6 Updated Jul 16, 2026
  • HerbGrammar.jl Public

    Grammars for Herb.jl

    Herb-AI/HerbGrammar.jl's past year of commit activity
    Julia 0 MIT 1 20 2 Updated Jul 10, 2026
  • HerbLearn.jl Public

    Machine Learning module of Herb

    Herb-AI/HerbLearn.jl's past year of commit activity
    Julia 1 MIT 0 7 0 Updated Jul 2, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…