Repositories list

• pddl-copilot-experiments

  Public
  Experimental framework for research of evaluation llms on formalize language planning

  Python

  •00 forks in SPL-BGU/pddl-copilot-experiments•11 star in SPL-BGU/pddl-copilot-experiments•00 issues in SPL-BGU/pddl-copilot-experiments•11 pull request in SPL-BGU/pddl-copilot-experiments•Updated Oct 27, 2026Oct 27, 2026

• Strike-Eagle

  Public
  An AI agent for playing AngryBirds

  Python

  •00 forks in SPL-BGU/Strike-Eagle•00 stars in SPL-BGU/Strike-Eagle•00 issues in SPL-BGU/Strike-Eagle•00 pull requests in SPL-BGU/Strike-Eagle•Updated Oct 24, 2026Oct 24, 2026

• sam_learning

  Public
  SAM learning algorithm for multiple purposes.

  Python

  •

  MIT License

  •22 forks in SPL-BGU/sam_learning•00 stars in SPL-BGU/sam_learning•00 issues in SPL-BGU/sam_learning•00 pull requests in SPL-BGU/sam_learning•Updated Oct 6, 2026Oct 6, 2026

• pddl_plus_parser

  Public
  A generic parser for PDDL+ and more

  Python

  •

  Apache License 2.0

  •33 forks in SPL-BGU/pddl_plus_parser•00 stars in SPL-BGU/pddl_plus_parser•00 issues in SPL-BGU/pddl_plus_parser•00 pull requests in SPL-BGU/pddl_plus_parser•Updated Oct 5, 2026Oct 5, 2026

• K-Privacy-Solver-Python

  Public
  k-privacy MAPF solver

  Jupyter Notebook

  •00 forks in SPL-BGU/K-Privacy-Solver-Python•00 stars in SPL-BGU/K-Privacy-Solver-Python•66 issues in SPL-BGU/K-Privacy-Solver-Python•00 pull requests in SPL-BGU/K-Privacy-Solver-Python•Updated Sep 21, 2026Sep 21, 2026

• lacam3_with_FoV_support

  Public
  Engineering LaCAM*: Towards Real-Time, Large-Scale, and Near-Optimal Multi-Agent Pathfinding (AAMAS-24)

  C++

  •

  MIT License

  •3838 forks in SPL-BGU/lacam3_with_FoV_support•00 stars in SPL-BGU/lacam3_with_FoV_support•00 issues in SPL-BGU/lacam3_with_FoV_support•00 pull requests in SPL-BGU/lacam3_with_FoV_support•Updated Sep 21, 2026Sep 21, 2026

• NumericPDDLGym

  Public
  Convert a Numeric PDDL domain into an Gymnasium environment.

  Python

  •

  Apache License 2.0

  •00 forks in SPL-BGU/NumericPDDLGym•00 stars in SPL-BGU/NumericPDDLGym•00 issues in SPL-BGU/NumericPDDLGym•00 pull requests in SPL-BGU/NumericPDDLGym•Updated Jul 10, 2026Jul 10, 2026

• pddl-copilot

  Public
  A modular mcp that allows interacting with planning tools via natural language using MCP.

  Python

  •

  MIT License

  •00 forks in SPL-BGU/pddl-copilot•11 star in SPL-BGU/pddl-copilot•44 issues in SPL-BGU/pddl-copilot•22 pull requests in SPL-BGU/pddl-copilot•Updated Jun 18, 2026Jun 18, 2026

• spl-claude-marketplace

  Public
  Claude Code plugin marketplace for the SPL lab @ BGU — shared dev workflows and SLURM cluster operations.

  Shell

  •

  MIT License

  •00 forks in SPL-BGU/spl-claude-marketplace•00 stars in SPL-BGU/spl-claude-marketplace•11 issue in SPL-BGU/spl-claude-marketplace•00 pull requests in SPL-BGU/spl-claude-marketplace•Updated Jun 15, 2026Jun 15, 2026

• LLMs-Planning

  Public
  An extensible benchmark for evaluating large language models on planning

  PDDL

  •

  MIT License

  •4848 forks in SPL-BGU/LLMs-Planning•00 stars in SPL-BGU/LLMs-Planning•00 issues in SPL-BGU/LLMs-Planning•00 pull requests in SPL-BGU/LLMs-Planning•Updated Jun 15, 2026Jun 15, 2026

• pyvalidator

  Public
  python native Validator. design to replace the compiled binaries package of `Val` widely used among the planning community

  Python

  •

  MIT License

  •00 forks in SPL-BGU/pyvalidator•00 stars in SPL-BGU/pyvalidator•00 issues in SPL-BGU/pyvalidator•00 pull requests in SPL-BGU/pyvalidator•Updated May 23, 2026May 23, 2026

• Doors-Itay-Raveh

  Public
  C#

  •00 forks in SPL-BGU/Doors-Itay-Raveh•00 stars in SPL-BGU/Doors-Itay-Raveh•00 issues in SPL-BGU/Doors-Itay-Raveh•00 pull requests in SPL-BGU/Doors-Itay-Raveh•Updated May 20, 2026May 20, 2026

• numeric-sam

  Public
  Implementation of the Numeric SAM algorithm

  regressionresearch-paperconvex-hull-algorithms+ 3

  regressionresearch-paperconvex-hull-algorithmsmodel-learningcontinous-learningnumeric-planning

  PDDL

  •

  MIT License

  •00 forks in SPL-BGU/numeric-sam•55 stars in SPL-BGU/numeric-sam•00 issues in SPL-BGU/numeric-sam•00 pull requests in SPL-BGU/numeric-sam•Updated Mar 22, 2026Mar 22, 2026

• numeric-online-action-model-learning

  Public
  The code for the Numeric Online Action Model learning (NOAM) algorithm

  Python

  •

  MIT License

  •00 forks in SPL-BGU/numeric-online-action-model-learning•11 star in SPL-BGU/numeric-online-action-model-learning•00 issues in SPL-BGU/numeric-online-action-model-learning•00 pull requests in SPL-BGU/numeric-online-action-model-learning•Updated Mar 22, 2026Mar 22, 2026

• PlanningCopilot

  Public
  A modular chatbot that runs planning tools via natural language using MCP.

  agentaimcp+ 2

  agentaimcpplanningllm

  Python

  •

  MIT License

  •11 fork in SPL-BGU/PlanningCopilot•44 stars in SPL-BGU/PlanningCopilot•00 issues in SPL-BGU/PlanningCopilot•00 pull requests in SPL-BGU/PlanningCopilot•Updated Mar 8, 2026Mar 8, 2026

• pddl-problem-generator

  Public
  Repository that holds PDDL problem generators that are not available in the classical problem generator

  Python

  •

  MIT License

  •11 fork in SPL-BGU/pddl-problem-generator•33 stars in SPL-BGU/pddl-problem-generator•00 issues in SPL-BGU/pddl-problem-generator•00 pull requests in SPL-BGU/pddl-problem-generator•Updated Feb 2, 2026Feb 2, 2026

• limited-horizon-bellman-learning

  Public
  Code implementation for Limited-Horizon Bellman Learning paper.

  Python

  •00 forks in SPL-BGU/limited-horizon-bellman-learning•00 stars in SPL-BGU/limited-horizon-bellman-learning•00 issues in SPL-BGU/limited-horizon-bellman-learning•00 pull requests in SPL-BGU/limited-horizon-bellman-learning•Updated Jan 29, 2026Jan 29, 2026

• PDDL-Minecraft

  Public
  PDDL2.1 problem generator for Minecraft domain.

  minecraftpddl

  minecraftpddl

  PDDL

  •

  MIT License

  •00 forks in SPL-BGU/PDDL-Minecraft•22 stars in SPL-BGU/PDDL-Minecraft•00 issues in SPL-BGU/PDDL-Minecraft•00 pull requests in SPL-BGU/PDDL-Minecraft•Updated Dec 11, 2025Dec 11, 2025

• Bounded-Suboptimal-BAE

  Public
  Roff

  •00 forks in SPL-BGU/Bounded-Suboptimal-BAE•00 stars in SPL-BGU/Bounded-Suboptimal-BAE•00 issues in SPL-BGU/Bounded-Suboptimal-BAE•00 pull requests in SPL-BGU/Bounded-Suboptimal-BAE•Updated Dec 8, 2025Dec 8, 2025

• gym-cooking

  Public
  🏆 gym-cooking: Code for "Too many cooks: Bayesian inference for coordinating multi-agent collaboration", Winner of the CogSci 2020 Computational Modeling Prize …

  PDDL

  •

  MIT License

  •5656 forks in SPL-BGU/gym-cooking•00 stars in SPL-BGU/gym-cooking•00 issues in SPL-BGU/gym-cooking•00 pull requests in SPL-BGU/gym-cooking•Updated Nov 10, 2025Nov 10, 2025

• BiHS-Consistent-F2E

  Public
  This is the repository for the papers "Front-to-End Bidirectional Heuristic Search with Consistent Heuristics: Enumerating and Evaluating Algorithms and Bounds"…

  heuristic-searchbidirectional-searchijcai2023

  heuristic-searchbidirectional-searchijcai2023

  C++

  •

  MIT License

  •00 forks in SPL-BGU/BiHS-Consistent-F2E•11 star in SPL-BGU/BiHS-Consistent-F2E•00 issues in SPL-BGU/BiHS-Consistent-F2E•00 pull requests in SPL-BGU/BiHS-Consistent-F2E•Updated Sep 26, 2025Sep 26, 2025

• ma-sam

  Public
  The multi-agent SAM algorithm

  concurrencyplanningresearch-paper+ 2

  concurrencyplanningresearch-papermulti-agent-systemsmodel-learning

  PDDL

  •00 forks in SPL-BGU/ma-sam•11 star in SPL-BGU/ma-sam•00 issues in SPL-BGU/ma-sam•00 pull requests in SPL-BGU/ma-sam•Updated Sep 6, 2025Sep 6, 2025

• mapf-visualizer-safe-zones

  Public
  simple multi-agent pathfinding (MAPF) visualizer for research usage with safe zones support

  C++

  •

  MIT License

  •2020 forks in SPL-BGU/mapf-visualizer-safe-zones•00 stars in SPL-BGU/mapf-visualizer-safe-zones•00 issues in SPL-BGU/mapf-visualizer-safe-zones•00 pull requests in SPL-BGU/mapf-visualizer-safe-zones•Updated Aug 2, 2025Aug 2, 2025

• BiHS-Direction-Choosing

  Public
  This is the repository for the paper "On the Impact of Direction-Selection in BAE*"

  heuristic-searchbidirectional-searchsocs-2025

  heuristic-searchbidirectional-searchsocs-2025

  C++

  •

  MIT License

  •00 forks in SPL-BGU/BiHS-Direction-Choosing•11 star in SPL-BGU/BiHS-Direction-Choosing•00 issues in SPL-BGU/BiHS-Direction-Choosing•00 pull requests in SPL-BGU/BiHS-Direction-Choosing•Updated Jul 27, 2025Jul 27, 2025

• BSS-Heuristics

  Public
  This is the repository for the paper "Heuristics for Bounded-Suboptimal Search"

  heuristicsheuristic-searchsocs-2025

  heuristicsheuristic-searchsocs-2025

  C++

  •

  MIT License

  •00 forks in SPL-BGU/BSS-Heuristics•00 stars in SPL-BGU/BSS-Heuristics•00 issues in SPL-BGU/BSS-Heuristics•00 pull requests in SPL-BGU/BSS-Heuristics•Updated Jul 27, 2025Jul 27, 2025

• ActionBasedNovelty

  Public
  Heuristic search using novelty of the action space.

  searchpddlheuristics+ 1

  searchpddlheuristicsnovelty-search

  Python

  •

  GNU Affero General Public License v3.0

  •00 forks in SPL-BGU/ActionBasedNovelty•00 stars in SPL-BGU/ActionBasedNovelty•00 issues in SPL-BGU/ActionBasedNovelty•00 pull requests in SPL-BGU/ActionBasedNovelty•Updated Jul 7, 2025Jul 7, 2025

• MA_Nyx

  Public
  Add the option to support multiple agents in nyx

  PDDL

  •

  GNU Affero General Public License v3.0

  •11 fork in SPL-BGU/MA_Nyx•00 stars in SPL-BGU/MA_Nyx•00 issues in SPL-BGU/MA_Nyx•00 pull requests in SPL-BGU/MA_Nyx•Updated Jun 26, 2025Jun 26, 2025

• AML-Evalutaor

  Public
  framework for evaluating action model learning algorithms

  MIT License

  •00 forks in SPL-BGU/AML-Evalutaor•00 stars in SPL-BGU/AML-Evalutaor•11 issue in SPL-BGU/AML-Evalutaor•00 pull requests in SPL-BGU/AML-Evalutaor•Updated May 15, 2025May 15, 2025

• pibt2

  Public
  Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding (AIJ-22)

  C++

  •

  MIT License

  •4444 forks in SPL-BGU/pibt2•00 stars in SPL-BGU/pibt2•00 issues in SPL-BGU/pibt2•00 pull requests in SPL-BGU/pibt2•Updated Apr 6, 2025Apr 6, 2025

• conditional-sam

  Public
  Repository for the code representing the Conditional SAM algorithm published in ICAPS 2024

  planningresearch-papermodel-learning

  planningresearch-papermodel-learning

  Python

  •00 forks in SPL-BGU/conditional-sam•00 stars in SPL-BGU/conditional-sam•00 issues in SPL-BGU/conditional-sam•00 pull requests in SPL-BGU/conditional-sam•Updated Mar 17, 2025Mar 17, 2025