Skip to content
@SPL-BGU

SPL@BGU

SPL@BGU (Search, Planning, and Learning Lab) at Ben-Gurion University of the Negev, Israel

Popular repositories Loading

  1. numeric-sam numeric-sam Public

    Implementation of the Numeric SAM algorithm

    PDDL 5

  2. PlanningCopilot PlanningCopilot Public

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

    Python 4 1

  3. PEM-BiHS PEM-BiHS Public

    This is the repository for the paper "On Parallel External-Memory Bidirectional Search"

    C++ 3

  4. pddl-problem-generator pddl-problem-generator Public

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

    Python 3 1

  5. PDDL-Minecraft PDDL-Minecraft Public

    PDDL2.1 problem generator for Minecraft domain.

    PDDL 2

  6. ma-sam ma-sam Public

    The multi-agent SAM algorithm

    PDDL 1

Repositories

Showing 10 of 34 repositories
  • K-Privacy-Solver-Python Public

    k-privacy MAPF solver

    SPL-BGU/K-Privacy-Solver-Python's past year of commit activity
    Jupyter Notebook 0 0 6 0 Updated Sep 21, 2026
  • lacam3_with_FoV_support Public Forked from Kei18/lacam3

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

    SPL-BGU/lacam3_with_FoV_support's past year of commit activity
    C++ 0 MIT 37 0 0 Updated Sep 21, 2026
  • Strike-Eagle Public

    An AI agent for playing AngryBirds

    SPL-BGU/Strike-Eagle's past year of commit activity
    Python 0 0 0 0 Updated Sep 19, 2026
  • pddl-copilot-experiments Public

    Experimental framework for research of evaluation llms on formalize language planning

    SPL-BGU/pddl-copilot-experiments's past year of commit activity
    Python 1 0 0 1 Updated Sep 19, 2026
  • pddl_plus_parser Public Forked from argaman-aloni/pddl_plus_parser

    A generic parser for PDDL+ and more

    SPL-BGU/pddl_plus_parser's past year of commit activity
    Python 0 Apache-2.0 3 0 0 Updated Aug 4, 2026
  • NumericPDDLGym Public

    Convert a Numeric PDDL domain into an Gymnasium environment.

    SPL-BGU/NumericPDDLGym's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Jul 10, 2026
  • pddl-copilot Public

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

    SPL-BGU/pddl-copilot's past year of commit activity
    Python 1 MIT 0 4 2 Updated Jun 18, 2026
  • spl-claude-marketplace Public

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

    SPL-BGU/spl-claude-marketplace's past year of commit activity
    Shell 0 MIT 0 1 0 Updated Jun 15, 2026
  • LLMs-Planning Public Forked from karthikv792/LLMs-Planning

    An extensible benchmark for evaluating large language models on planning

    SPL-BGU/LLMs-Planning's past year of commit activity
    PDDL 0 MIT 49 0 0 Updated Jun 15, 2026
  • pyvalidator Public

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

    SPL-BGU/pyvalidator's past year of commit activity
    Python 0 MIT 0 0 0 Updated May 23, 2026
View all repositories