Python module to discover and control WeMo devices.

A slight upgrade to the Gremlins in your code

ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to ac…

Integrated Discrete-Event Systems Software

Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).

Time-coverage integrated plots

NL2Flow: A PDDL Interface to Flow Construction

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

Web for the ICAPS 2023 conference in Prague

A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.

Unquestionable PDDL 3.1 parser

Prompt programming with FMs.

Learn STRIPS action models from state graphs (SAT and ASP)

🦾 ⚡ Paladinus: An Iterative Depth-First Search FOND Planner.

Visualization of survey data.

Official repository for CMU Machine Learning Department's 10717: "The Art of the Paper".

Convert soccer event stream data to SPADL and value player actions using VAEP or xT

run code in the browser, https://vanillawc.github.io/wc-code/

Library for action model acquisition from state trace data.

The AIPlan4EU Unified Planning Library

Tarski - An AI Planning Modeling Framework

A set of tools for knitters to create charts and eventually more.

📊⚽ A collection of football analytics projects, data, and analysis by Edd Webster (@eddwebster), including a curated list of publicly available resources published by the football analytics community.

Live Python Notebooks with any Editor

Data driven tactical and video analysis of soccer games.

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

AI Automated Planning with STRIPS and PDDL in Node.js

Build logical theories for SAT solvers on the fly