Repositories list

• RefactoringExperiments.jl

  Public
  Repo for running experiments on refactoring (Aulile and compressions)

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• HerbSearch.jl

  Public
  Search procedures and synthesizers for Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •77 forks•88 stars•3535 issues•55 pull requests•Updated Apr 17, 2026Apr 17, 2026

• HerbGrammar.jl

  Public
  Grammars for Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •11 fork•00 stars•1919 issues•22 pull requests•Updated Apr 17, 2026Apr 17, 2026

• HerbBenchmarks.jl

  Public
  Benchmarks and problems for Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •11 fork•11 star•4444 issues•88 pull requests•Updated Apr 17, 2026Apr 17, 2026

• HerbConstraints.jl

  Public
  Constraints for Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •11 fork•00 stars•3232 issues•44 pull requests•Updated Apr 15, 2026Apr 15, 2026

• Herb.jl

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

  hacktoberfestherb-framework

  hacktoberfestherb-framework

  Julia

  •

  MIT License

  •99 forks•3737 stars•2929 issues•44 pull requests•Updated Apr 13, 2026Apr 13, 2026

• HerbInterpret.jl

  Public
  Program interpreters for the Herb.jl framework

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •22 forks•00 stars•1111 issues•66 pull requests•Updated Apr 1, 2026Apr 1, 2026

• Garden.jl

  Public
  Please water the Herbs.

  Julia

  •

  MIT License

  •00 forks•22 stars•33 issues•44 pull requests•Updated Mar 30, 2026Mar 30, 2026

• HerbCore.jl

  Public
  Core structures for Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •22 forks•00 stars•88 issues•33 pull requests•Updated Mar 20, 2026Mar 20, 2026

• Herb-AI.github.io

  Public
  Website for everything around the Herb.jl package

  HTML

  •

  MIT License

  •11 fork•11 star•00 issues•11 pull request•Updated Feb 18, 2026Feb 18, 2026

• HerbSpecification.jl

  Public
  Specification to define program synthesis problems in Herb.jl

  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •11 fork•00 stars•00 issues•11 pull request•Updated Jan 19, 2026Jan 19, 2026

• HerbLearn.jl

  Public
  Machine Learning module of Herb

  herb-framework

  herb-framework

  MIT License

  •00 forks•11 star•77 issues•00 pull requests•Updated Mar 31, 2025Mar 31, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 3, 2024Feb 3, 2024

• HerbData.jl

  Public archive
  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 2, 2024Feb 2, 2024

• SpecificationExtraction.jl

  Public
  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 22, 2024Jan 22, 2024

• HerbEvaluation.jl

  Public archive
  herb-framework

  herb-framework

  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 27, 2023Sep 27, 2023

• HerbExamples.jl

  Public archive
  herb-framework

  herb-framework

  Jupyter Notebook

  •

  MIT License

  •00 forks•00 stars•11 issue•11 pull request•Updated Jun 30, 2023Jun 30, 2023

• HerbConstraintTranslator.jl

  Public
  herb-framework

  herb-framework

  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2023Jun 25, 2023

• HerbRegex.jl

  Public archive
  This package contains all building blocks to synthesize regular expressions with the Herb Program Synthesis framework

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 17, 2023Mar 17, 2023

• Problog.jl

  Public
  Prolog

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 6, 2022Oct 6, 2022

• Julog.jl

  Public
  A Julia package for Prolog-style logic programming.

  Julia

  •

  Apache License 2.0

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Mar 25, 2022Mar 25, 2022

• HerbSWIPL.jl

  Public
  Julia wrapper around SWI Prolog

  julialogicprolog+ 3

  julialogicprologartificial-intelligencelogic-programmingautomated-reasoning

  Julia

  •

  MIT License

  •00 forks•1313 stars•11 issue•00 pull requests•Updated Feb 17, 2022Feb 17, 2022

• ExprRules.jl

  Public
  Functions for declaring and working with grammars and expression trees in Julia.

  Julia

  •

  Other

  •99 forks•11 star•1515 issues•00 pull requests•Updated Nov 1, 2021Nov 1, 2021

• ContextExprRules.jl

  Public archive
  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 27, 2021Sep 27, 2021

• HerbLanguage.jl

  Public
  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 16, 2021Jun 16, 2021

• HerbProlog.jl

  Public
  prologlogic-programming

  prologlogic-programming

  Julia

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2021Jun 9, 2021