Herb-AI's repositories
HerbSWIPL.jl
Julia wrapper around SWI Prolog
HerbSearch.jl
Search procedures and synthesizers for Herb.jl
ExprRules.jl
Functions for declaring and working with grammars and expression trees in Julia.
Herb-AI.github.io
Website for everything around the Herb.jl package
HerbLearn.jl
Machine Learning module of Herb
000
Language:PythonMIT000
HerbRegex.jl
This package contains all building blocks to synthesize regular expressions with the Herb Program Synthesis framework
HerbSpecification.jl
Describes the types of specification to define program synthesis problems
Julog.jl
A Julia package for Prolog-style logic programming.
Language:JuliaApache-2.0000
HerbConstraints.jl
Constraints for Herb.jl
Language:JuliaMIT000
HerbCore.jl
Core structures for Herb.jl
HerbGrammar.jl
Grammars for the Herb.jl framework