Herb-AI/Herb.jl

Issues

• pyHerb

  #53 opened 8 months ago by THinnerichs
  0

• Add list of contributors

  #59 opened 2 months ago by sebdumancic
  1

• Pluto notebooks for all Herb Tutorials

  #94 opened 3 months ago by pwochner
  0

• Add linter and doctests to CI

  #63 opened 7 months ago by ReubenJ
  0

• Remove dependency on Pkg

  #100 opened 2 months ago by giordano
  1

• Fix `Documenter` crossreference issues

  #61 opened 2 months ago by pwochner
  0

• Bump `HerbCore` versions

  #64 opened 3 months ago by ReubenJ
  0

• Automate ipynb to md conversion tutorials

  #81 opened 3 months ago by IssaHanou
  0

• Update "How to contribute" and contribution guidelines

  #93 opened 4 months ago by pwochner
  0

• Improve Contributor Guide

  #91 opened 4 months ago by pwochner
  0

• TagBot trigger issue

  #49 opened a year ago by JuliaTagBot
  3

• Add code coverage to all repositories

  #60 opened 6 months ago by ReubenJ
  1

• Clean up Bart's code

  #58 opened 7 months ago by THinnerichs
  0

• Update documentation to reflect CFG/CSG -> `Grammar`

  #52 opened 8 months ago by ReubenJ
  0

• Generalize Specs + eval

  #51 opened 9 months ago by THinnerichs
  1

• Add possibility to run all tests jointly from the Herb.jl

  #45 opened 9 months ago by THinnerichs
  0

• Refactoring to Julia

  #50 opened 9 months ago by THinnerichs
  0

• Write contributing guideline

  #39 opened 9 months ago by THinnerichs
  0

• Documentation (!!!!!!!!)

  #41 opened a year ago by sebdumancic
  0

• Add Sebastijan and me as contributors to the respective repos

  #47 opened a year ago by THinnerichs
  0

• Move constraints functionality to Constraints.jl

  #6 opened a year ago by jaapdejong15
  0

• New repo: Refactoring.jl

  #14 opened a year ago by jaapdejong15
  0

• New repo: SpecificationDiscovery.jl

  #12 opened a year ago by jaapdejong15
  0

• New repo: SpecificationReasoning.jl

  #11 opened a year ago by jaapdejong15
  0

• New repo: SpecificationLanguage.jl

  #10 opened a year ago by jaapdejong15
  0

• New repo: Heuristics.jl

  #9 opened a year ago by jaapdejong15
  0

• New repo: LearningToGuide.jl

  #13 opened a year ago by jaapdejong15
  0

• Add `Extensive tests`

  #46 opened a year ago by THinnerichs
  0

• New repo: Data.jl

  #7 opened a year ago by jaapdejong15
  0

• New repo: Utils.jl

  #15 opened a year ago by jaapdejong15
  0

• Update contributors and contact details

  #38 opened a year ago by THinnerichs
  0

• Add proper install and setup guide to Herb.jl package

  #40 opened a year ago by THinnerichs
  0

• General expand function

  #34 opened 2 years ago by jaapdejong15
  4

• Return best program found so far instead of nothing when search fails

  #33 opened 2 years ago by jaapdejong15
  0

• Probabilistic iterator

  #35 opened 2 years ago by jaapdejong15
  0

• Support for constraints in Search

  #26 opened 2 years ago by jaapdejong15
  0

• Extend grammars with probabilities

  #28 opened 2 years ago by jaapdejong15
  0

• Add context-sensitive grammars

  #25 opened 2 years ago by jaapdejong15
  1

• Generalize breadth-first search to work with heuristics

  #22 opened 2 years ago by jaapdejong15
  0

• Tests

  #29 opened 2 years ago by jaapdejong15
  2

• Neural network support and pre-training

  #31 opened 2 years ago by THinnerichs
  0

• Support removing rules in the grammar

  #20 opened 2 years ago by jaapdejong15
  0

• New repo: Examples.jl

  #23 opened 2 years ago by jaapdejong15
  1

• New repo: Evaluation.jl

  #8 opened 2 years ago by jaapdejong15
  0

• New repo: root synthesis package

  #5 opened 2 years ago by jaapdejong15
  0

• Add enumeration to Search.jl

  #19 opened 2 years ago by jaapdejong15
  0

• Grammar core functionality

  #17 opened 2 years ago by jaapdejong15
  1

• Move parts of ProbExprRules.jl to Grammar.jl and Search.jl

  #4 opened 2 years ago by jaapdejong15
  0

• Add Licence

  #18 opened 2 years ago by sebdumancic
  2

• Add a function for reading input-output examples to Data.jl

  #16 opened 2 years ago by jaapdejong15
  0