Data

Tools

Indexes

Applications

Experiments

Open Source Science

Herb

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

https://github.com/herb-ai/herb.jl

Science Score: 67.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 3 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: zenodo.org
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (14.0%) to scientific vocabulary

Keywords

hacktoberfest herb-framework
Last synced: 6 months ago · JSON representation ·

Repository

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

Basic Info
  • Host: GitHub
  • Owner: Herb-AI
  • License: mit
  • Language: Julia
  • Default Branch: master
  • Homepage: https://herb-ai.github.io/
  • Size: 5.58 MB
Statistics
  • Stars: 29
  • Watchers: 4
  • Forks: 4
  • Open Issues: 38
  • Releases: 10
Topics
hacktoberfest herb-framework
Created about 3 years ago · Last pushed 7 months ago
Metadata Files
Readme Contributing Citation

README.md

Build Status Nightly Dev-Docs DOI

Herb.jl

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

Introduction

When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same holds for the field of program synthesis: Tools are hard to run, benchmarks are hard to get and prepare, and its hard to adapt our existing code to a novel idea.

Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.

Herb.jl provides... - a unified and universal framework for program synthesis - Herb.jl allows you to describe all sorts of program synthesis problems using context-free grammars - a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box

Herb.jl's sub-packages provide fast and easily extendable implementations of - various static and dynamic search strategies, - learning search strategies, sampling techniques and more, - constraint formulation and propagation, - easy grammar formulation and usage, - wide-range of usable program interpreters and languages + the possibility to use your own, and - efficient data formulation.

Getting started

Please check out our tutorial. Also check out recent projects and events on our website.

Conventions

Documentation

The entire documentation is available at https://herb-ai.github.io/Herb.jl/dev/install/.

Owner

  • Name: Herb-AI
  • Login: Herb-AI
  • Kind: organization

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

Citation (CITATION.cff) 

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: Herb.jl
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Tilman
    family-names: Hinnerichs
    email: t.r.hinnerichs@tudelft.nl
    affiliation: TU Delft
    orcid: 'https://orcid.org/0000-0003-4155-0239'
  - given-names: Reuben
    family-names: Gardos Reid
    email: r.j.gardosreid@tudelft.nl
    affiliation: TU Delft
    orcid: 'https://orcid.org/0000-0002-3491-9686'
  - given-names: Jaap
    name-particle: de
    family-names: Jong
    email: j.dejong-18@student.tudelft.nl
    affiliation: TU Delft
  - given-names: Bart
    family-names: Swinkels
    email: b.j.a.swinkels@student.tudelft.nl
    affiliation: TU Delft
  - given-names: Pamela
    family-names: Wochner
    email: p.wochner@tudelft.nl
    affiliation: TU Delft
    orcid: 'https://orcid.org/0000-0003-4066-8614'
  - given-names: Nicolae
    family-names: Filat
    email: n.filat@student.tudelft.nl
    affiliation: TU Delft
  - given-names: Tudor
    family-names: Magurescu
    email: magirescu@student.tudelft.nl
    affiliation: TU Delft
  - given-names: Issa
    family-names: Hanou
    email: i.k.hanou@tudelft.nl
    affiliation: TU Delft
    orcid: 'https://orcid.org/0000-0001-5873-5139'
  - given-names: Sebastijan
    family-names: Dumancic
    email: s.dumancic@tudelft.nl
    affiliation: TU Delft
    orcid: 'https://orcid.org/0000-0003-0915-8034'
identifiers:
  - type: doi
    value: 10.5281/zenodo.15746952
    description: Latest version of Herb.jl
  - type: swh
    value: 'swh:1:dir:e77a8fcc376baf6db3f78eeb0011a1a5d68ace93'
    description: Latest version of Herb.jl
repository-code: 'https://github.com/Herb-AI/Herb.jl'
url: 'https://herb-ai.github.io/'
keywords:
  - Program Synthesis
  - Collaborative Science
  - Reproducible Research
  - Neuro-Symbolic AI
  - Julia
license: MIT

GitHub Events

Total
  • Create event: 25
  • Commit comment event: 10
  • Release event: 5
  • Issues event: 34
  • Watch event: 7
  • Delete event: 13
  • Issue comment event: 25
  • Push event: 101
  • Pull request event: 47
  • Pull request review event: 23
  • Pull request review comment event: 5
  • Fork event: 1
Last Year
  • Create event: 25
  • Commit comment event: 10
  • Release event: 5
  • Issues event: 34
  • Watch event: 7
  • Delete event: 13
  • Issue comment event: 25
  • Push event: 101
  • Pull request event: 47
  • Pull request review event: 23
  • Pull request review comment event: 5
  • Fork event: 1

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 21
  • Total pull requests: 25
  • Average time to close issues: 7 days
  • Average time to close pull requests: 14 days
  • Total issue authors: 4
  • Total pull request authors: 3
  • Average comments per issue: 0.14
  • Average comments per pull request: 0.4
  • Merged pull requests: 12
  • Bot issues: 0
  • Bot pull requests: 13
Past Year
  • Issues: 21
  • Pull requests: 25
  • Average time to close issues: 7 days
  • Average time to close pull requests: 14 days
  • Issue authors: 4
  • Pull request authors: 3
  • Average comments per issue: 0.14
  • Average comments per pull request: 0.4
  • Merged pull requests: 12
  • Bot issues: 0
  • Bot pull requests: 13
View more stats
Top Authors
Issue Authors
  • pwochner (15)
  • ReubenJ (12)
  • THinnerichs (12)
  • IssaHanou (2)
  • StudHamza (1)
  • sebdumancic (1)
  • giordano (1)
  • llewelld (1)
Pull Request Authors
  • github-actions[bot] (29)
  • ReubenJ (16)
  • pwochner (10)
  • IssaHanou (4)
  • THinnerichs (2)
  • sebdumancic (1)
  • llewelld (1)
  • LoLo5689 (1)
Top Labels
Issue Labels
documentation (5) enhancement (1) good first issue (1) ci (1)
Pull Request Labels
enhancement (2) bug (1) documentation (1) good first issue (1) hacktoberfest (1)

Packages

  • Total packages: 1
  • Total downloads:
    • julia 3 total
  • Total dependent packages: 0
  • Total dependent repositories: 0
  • Total versions: 10
juliahub.com: Herb

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

  • Versions: 10
  • Dependent Packages: 0
  • Dependent Repositories: 0
  • Downloads: 3 Total
Rankings
Dependent repos count: 10.1%
Dependent packages count: 37.3%
Average: 37.7%
Stargazers count: 49.6%
Forks count: 53.9%
Last synced: 6 months ago