17-day current streak·17-day longest streak
-
rednotebook ★ PINNED
RedNotebook is a cross-platform journal
Python ★ 558 8d agoExplain → -
vulture ★ PINNED
Find dead Python code
Python ★ 4.7k 1mo agoExplain → -
downward ★ PINNED ⑂
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.
Python ★ 0 5mo agoExplain → -
scorpion ★ PINNED
An extension of the Fast Downward planning system with state-of-the-art algorithms
C++ ★ 21 10d agoExplain → -
pogo
Pogo plays music.
Python ★ 28 6y agoExplain → -
batch-pddl-generator
Python library for creating sets of PDDL tasks
Python ★ 8 9mo agoExplain → -
txt2tags ⑂ ▣
txt2tags is a document generator: one source, many targets
Python ★ 3 6y agoExplain → -
parallel-hashmap ⑂
A family of header-only, very fast and memory-friendly hashmap and btree containers.
★ 1 2y agoExplain → -
labreports
Collection of report classes for Downward Lab
Python ★ 1 9mo agoExplain → -
unsolvable-pddl-benchmarks
Copy of https://zenodo.org/record/3355446 with some small fixes.
★ 1 5y agoExplain → -
vulture-analysis
vulture analysis reports
★ 1 8y agoExplain → -
fast-downward-conjunctions ⑂
No description.
★ 0 1mo agoExplain → -
Loki ⑂
No description.
C++ ★ 0 5mo agoExplain → -
icaps2026.github.io ⑂
Website for ICAPS 2026
★ 0 4mo agoExplain → -
hapori ⑂
Portfolio Algorithms for Classical Planning
PDDL ★ 0 9mo agoExplain → -
pddl-generators ⑂
A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).
★ 0 1y agoExplain → -
mimir ⑂
No description.
★ 0 1y agoExplain → -
planning-automata
No description.
C++ ★ 0 1y agoExplain → -
planning-instances ⑂
Collection of PDDL planning instances from a variety of third-party sources
★ 0 8y agoExplain → -
grammar2code ⑂
A tool to interface grammars describing complex parameter spaces with the parameter tuners irace, pramILS and SMAC
★ 0 3y agoExplain → -
planutils ⑂
General library for setting up linux-based environments for developing, running, and evaluating planners.
Shell ★ 0 2y agoExplain → -
flatmemory
No description.
★ 0 2y agoExplain → -
unified-planning ⑂
The AIPlan4EU Unified Planning Library
★ 0 2y agoExplain → -
ipc2023-classical.github.io ⑂
IPC 2023 Classical Tracks
★ 0 2y agoExplain → -
scorpion-ipc2023 ⑂
Fork of the IPC 2023 Scorpion planner (used for pull requests)
★ 0 2y agoExplain → -
downward-benchmarks-features
Values for the features from Fawcett et al. (ICAPS 2014) for all IPC 1998-2018 tasks
Jupyter Notebook ★ 0 2y agoExplain → -
biblib ⑂
Simple, faithful BibTeX parser and algorithms for Python 3
Python ★ 0 3y agoExplain → -
aidos
Aidos is a classical planner for proving unsolvability.
Python ★ 0 4y agoExplain → -
pelican ⑂
Static site generator that supports Markdown and reST syntax. Powered by Python.
★ 0 4y agoExplain → -
gvsbuild ⑂
GTK+ 3 stack for Windows
C++ ★ 0 4y agoExplain → -
dlplan ⑂
A library for constructing and evaluating state features made up of description logics for planning.
★ 0 3y agoExplain → -
runsolver ⑂
Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/
C++ ★ 0 3y agoExplain → -
pyinstaller ⑂
Freeze (package) Python programs into stand-alone executables
Python ★ 0 7y agoExplain → -
planning-features ⑂
Scalar feature extractor for AI planning problems and domains in PDDL format
★ 0 5y agoExplain → -
flynt ⑂
A tool to automatically convert old string literal formatting to f-strings
★ 0 6y agoExplain → -
convert-downward ⑂
Scripts to clean up and convert Fast Downward
★ 0 6y agoExplain → -
betterposter-latex-template ⑂
LaTeX Template for Mike Morrison's #betterposter
★ 0 6y agoExplain → -
cpython ⑂
The Python programming language
Python ★ 0 6y agoExplain → -
gast ⑂
Python AST that abstracts the underlying Python version
★ 0 6y agoExplain → -
flake8-mutable ⑂
flake8 extension for mutable default arguments
★ 0 6y agoExplain → -
ICAPS-Citation-Count ⑂
Scrapes Google Scholar for the citation count of all papers at a particular ICAPS conference (given the DBLP page for the conference proceedings).
Python ★ 0 9y agoExplain → -
mistune ⑂
The fastest markdown parser in pure Python with renderer feature.
Python ★ 0 9y agoExplain → -
pygtkspellcheck ⑂
a simple but quite powerful spellchecking library for GTK written in pure Python
Python ★ 0 9y agoExplain → -
UbuntuIndicatorWeather ⑂
Simple weather indicator for Ubuntu unity and Gnome 3
Python ★ 0 10y agoExplain → -
github-issue-importer ⑂
Import Issues from Launchpad (for now) into github
Ruby ★ 0 12y agoExplain → -
VAL ⑂
The plan validation system.
★ 0 11y agoExplain → -
fixubuntu ⑂
fixubuntu.com
CSS ★ 0 12y agoExplain → -
gae-boilerplate ⑂
Google App Engine Boilerplate
Python ★ 0 13y agoExplain →
No repos match these filters.