jendrikseipp

vulture

Find dead Python code

rednotebook

RedNotebook is a cross-platform journal

pogo

Pogo plays music.

scorpion

Classical planning system featuring (saturated) cost partitioning

txt2tags

txt2tags is a document generator: one source, many targets

labreports

Collection of report classes for Downward Lab

unsolvable-pddl-benchmarks

Copy of https://zenodo.org/record/3355446 with some small fixes.

aidos

Aidos is a classical planner for proving unsolvability.

biblib

Simple, faithful BibTeX parser and algorithms for Python 3

convert-downward

Scripts to clean up and convert Fast Downward

cpython

The Python programming language

dlplan

A library for constructing and evaluating state features made up of description logics for planning.

downward

This is my personal fork of Fast Downward that I use to work on issues. For the official version, see https://github.com/aibasel/downward.

downward-benchmarks-features

Values for the features from Fawcett et al. (ICAPS 2014) for all IPC 1998-2018 tasks

flake8-mutable

flake8 extension for mutable default arguments

flatmemory

flynt

A tool to automatically convert old string literal formatting to f-strings

gast

Python AST that abstracts the underlying Python version

gvsbuild

GTK+ 3 stack for Windows

hapori

Portfolio Algorithms for Classical Planning

icaps2024.github.io

Website for ICAPS 2024

ipc2023-classical.github.io

IPC 2023 Classical Tracks

parallel-hashmap

A family of header-only, very fast and memory-friendly hashmap and btree containers.

pelican

Static site generator that supports Markdown and reST syntax. Powered by Python.

planning-automata

planning-features

Scalar feature extractor for AI planning problems and domains in PDDL format

planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.

runsolver

Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/

scorpion-ipc2023

Fork of the IPC 2023 Scorpion planner (used for pull requests)

unified-planning

The AIPlan4EU Unified Planning Library