diff --git a/README.md b/README.md index 7eec3ca..1301962 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,37 @@ # Welcome to the Herb-AI website repo +Welcome to the website of Herb-AI. + ## How to use: +### Local setup using Docker (Recommended) +Using Docker to install Jekyll and Ruby dependencies is the easiest way. + +You need to take the following steps to get the website up and running on your local machine: + +- First, install [docker](https://docs.docker.com/get-docker/) and [docker-compose](https://docs.docker.com/compose/install/). +- Finally, run the following command that will pull the latest pre-built image from DockerHub and will run your website. + +```bash +$ docker-compose up +``` + +### Making changes + Simply push your changes to main branch, which will be automatically deployed to the `github-pages` branch. All pages can be found under `_pages`. To add a post, add your post under `_posts` by copying and editing the existing posts. To add news, add a new file to `_news`. + + +## Template + +This website uses the [al-folio](https://github.com/alshedivat/al-folio) theme: a simple, clean, and responsive [Jekyll](https://jekyllrb.com/) theme for academics. If you like the theme, give it a star! + +### License + +The theme is available as open source under the terms of the [MIT License](https://github.com/alshedivat/al-folio/blob/master/LICENSE). + +Originally, **al-folio** was based on the [\*folio theme](https://github.com/bogoli/-folio) (published by [Lia Bogoev](https://liabogoev.com) and under the MIT license). +Since then, it got a full re-write of the styles and many additional cool features. diff --git a/_config.yml b/_config.yml index 1140e16..d9a930c 100644 --- a/_config.yml +++ b/_config.yml @@ -122,7 +122,7 @@ bing_site_verification: # out your bing-site-verification ID (Bing Webmaster) # ----------------------------------------------------------------------------- blog_name: Herb-AI # blog_name will be displayed in your blog page -blog_nav_title: blog # your blog must have a title for it to be displayed in the nav bar +blog_nav_title: #blog # your blog must have a title for it to be displayed in the nav bar blog_description: A collection of posts, tutorials and talks about Herb.jl permalink: /blog/:year/:title/ diff --git a/_data/repositories.yml b/_data/repositories.yml index e31f357..764a04a 100644 --- a/_data/repositories.yml +++ b/_data/repositories.yml @@ -3,14 +3,14 @@ github_users: herb_packages: - Herb-AI/Herb.jl + - Herb-AI/HerbCore.jl - Herb-AI/HerbGrammar.jl - - Herb-AI/HerbData.jl + - Herb-AI/HerbSpecification.jl - Herb-AI/HerbSearch.jl - - Herb-AI/HerbConstraints.jl - - Herb-AI/HerbCore.jl - Herb-AI/HerbInterpret.jl + - Herb-AI/HerbConstraints.jl herb_projects: + - Herb-AI/Garden - Herb-AI/HerbBenchmarks.jl - - Herb-AI/HerbExamples.jl diff --git a/_news/HerbHackathon_1.md b/_news/HerbHackathon_1.md new file mode 100644 index 0000000..a05ad4e --- /dev/null +++ b/_news/HerbHackathon_1.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2023-06-30 +inline: true +related_posts: false +--- + +We successfully conducted our first HerbHackathon. This was mainly focused on improving the work flow and setting up our first guides. diff --git a/_news/HerbHackathon_1_announcement.md b/_news/HerbHackathon_1_announcement.md deleted file mode 100644 index 80d900d..0000000 --- a/_news/HerbHackathon_1_announcement.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -layout: post -date: 2023-06-30 -inline: true -related_posts: false ---- - -We succesfully conducted our first HerbHackathon. diff --git a/_news/HerbHackathon_2.md b/_news/HerbHackathon_2.md new file mode 100644 index 0000000..1d8aab6 --- /dev/null +++ b/_news/HerbHackathon_2.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2023-10-18 +inline: true +related_posts: false +--- + +The second iteration of our joint HerbHackathon took place over the past two days. We started adding benchmarks to be easily executed with Herb.jl. diff --git a/_news/HerbHackathon_2_announcement.md b/_news/HerbHackathon_2_announcement.md deleted file mode 100644 index 36eb7da..0000000 --- a/_news/HerbHackathon_2_announcement.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -layout: post -date: 2023-10-18 -inline: true -related_posts: false ---- - -The second iteration of our joint HerbHackathon will take place on 18./19.10.2023. diff --git a/_news/HerbHackathon_3.md b/_news/HerbHackathon_3.md new file mode 100644 index 0000000..3c5ae6b --- /dev/null +++ b/_news/HerbHackathon_3.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2024-01-19 +inline: true +related_posts: false +--- + +We had our third HerbHackathon this week. This time we were able to fix some bugs, and we did a major refactor to focus more on context-free grammars. diff --git a/_news/HerbHackathon_4.md b/_news/HerbHackathon_4.md new file mode 100644 index 0000000..2aba846 --- /dev/null +++ b/_news/HerbHackathon_4.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2024-04-05 +inline: true +related_posts: false +--- + +Our fourth HerbHackathon is a fact. We worked on refactoring the code base to include HerbConstraints and set up the possibility of adding other constraint solvers. diff --git a/_news/HerbHackathon_5.md b/_news/HerbHackathon_5.md new file mode 100644 index 0000000..a13679d --- /dev/null +++ b/_news/HerbHackathon_5.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2024-07-05 +inline: true +related_posts: false +--- + +A year since our first, we are now in our fifth HerbHackathon. With JuliaCon next week, we are getting Herb ready for the world to see, adding our new [Garden](https://github.com/Herb-AI/Garden) with Herb implementations of other synthesizers. diff --git a/_news/JuliaCon.md b/_news/JuliaCon.md new file mode 100644 index 0000000..267288a --- /dev/null +++ b/_news/JuliaCon.md @@ -0,0 +1,8 @@ +--- +layout: post +date: 2024-07-09 +inline: true +related_posts: false +--- + +We are presenting Herb.jl to JuliaCon 2024! Please visit our poster on Wednesday, July 10 (6:30pm For Loop = 3.2) or come to [our talk](https://pretalx.com/juliacon2024/talk/JDPTKN/) by Tilman Hinnerichs on Thursday, July 11, at 10:00 (Method = 1.5)! diff --git a/_pages/about.md b/_pages/about.md index 9a04bdf..cb42b21 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -12,12 +12,12 @@ profile:

Office 4.East.220

Van Mourik Broekmanweg 6

2628 XE Delft

- lab: PONY lab, Algorithmics Group, TU Delft
Lovingly maintained by the core team of volunteers. + lab: PONY lab, Algorithmics Group, TU Delft
Lovingly maintained by the core team of volunteers. #This is a project of the [Dumancic lab](https://sebdumancic.github.io/) within the [Algorithmics group]() at TU Delft.Lovingly maintained by the [core team](https://github.com/orgs/Herb-AI/people) of volunteers. news: true # includes a list of news items -latest_posts: true # includes a list of the newest posts +latest_posts: false # includes a list of the newest posts selected_papers: true # includes a list of papers marked as "selected={true}" social: true # includes social icons at the bottom of the page --- @@ -28,16 +28,22 @@ social: true # includes social icons at the bottom of the page [![Dev-Docs](https://img.shields.io/badge/docs-latest-blue.svg)](https://Herb-AI.github.io/Herb.jl/dev) -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. +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 is true for the field of program synthesis: tools are hard to run, benchmarks are hard to get and prepare, and it is 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 will take care of this for you and help you to define, solve, and extend your program synthesis problems. Herb.jl provides... - a unified and universal framework for program synthesis - a fast notion to describe all sorts of program synthesis problems with different specifications and grammars -- a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box +- many state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box Check out [our documentation](https://herb-ai.github.io/Herb.jl/dev/) and [the repository](https://github.com/Herb-AI/Herb.jl). +### Try it out! + +For anyone new to program synthesis, we offer [tutorials](https://herb-ai.github.io/Herb.jl/dev/get_started/) to get you familiar with program synthesis within Herb.jl. + +To those of you already familiar with program synthesis, we invite you to check out our [Garden](https://github.com/Herb-AI/Garden) where we have implemented some well-known synthesizers within Herb.jl, so you can easily benchmark against them. +   diff --git a/_pages/dropdown.md b/_pages/dropdown.md index 7ac6574..71b1f1b 100644 --- a/_pages/dropdown.md +++ b/_pages/dropdown.md @@ -1,8 +1,8 @@ --- layout: page title: submenus -nav: true -nav_order: 6 +nav: false +nav_order: dropdown: true children: - title: publications diff --git a/_pages/projects.md b/_pages/projects.md index 0ae8816..6862e4d 100644 --- a/_pages/projects.md +++ b/_pages/projects.md @@ -3,8 +3,8 @@ layout: page title: projects permalink: /projects/ description: A growing collection of your cool projects. -nav: true -nav_order: 2 +nav: false +nav_order: display_categories: [work, fun] horizontal: false ---