8000 Herb-AI · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 30 4

  2. HerbSearch.jl HerbSearch.jl Public

    Search procedures and synthesizers for Herb.jl

    Julia 7 2

  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
View all repositories

Top languages

Loading…

Most used topics

Loading…
0