CS2020 Software Programming @ Aberdeen

A utility for generating Markdown documentation for Protocol Buffers that include Mermaid UML Diagrams.

ProTracker 2 clone for Windows/macOS/Linux

A LaTeX package for drawing gantt charts

A Python Framework for Multi-Agent Programming with Machine Learning

Bibtex files with planning-related references

The multiagent extension for the PDDL parser

SIADEX - An HTN planner with temporal, partial order planning

A task-planning system based on Pyhop, but generalized to plan for both goals and tasks.

LTeX: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others

A python prover for evaluating FOL formulas on PDDL

University of Aberdeen HPC Cluster User Guides

Safe learning of lifted action models

Scrapes Google Scholar for the citation count of all papers at a particular ICAPS conference (given the DBLP page for the conference proceedings).

A simple and highly efficient RTS-game-inspired environment for reinforcement learning (formerly Gym-MicroRTS)

Imitation Learning agent for Hive: The Board Game

Generative Agents: Interactive Simulacra of Human Behavior

K* search based implementation of top-k and top-quality planners

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

Pytorch official implementation for Imitating Unknown Policies via Exploration.

PDDL+ planning through compilation to SMT

IPyHOP is a Re-entrant Iterative GTPyHOP written in Python 3. PyHOP is an acronym for Python Hierarchical Ordered Planner.

Symbolic planners for problems and domains specified in PDDL.

Symk is a state-of-the-art classical optimal and top-k planner.

Tagging support code for LaTeX

Assistive Gym, a physics-based simulation framework for physical human-robot interaction and robotic assistance.

Use BDDs and SDDs to count the number of solutions to a planning problem