18 projects
pddl
PDDL parser
plan4past
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
logaut
From logic to automata.
pylogics
A Python library for logic formalisms representation and manipulation.
gym-breakout-pygame
Gym Breakout environment using Pygame.
scibench
A Python project template.
temprl
Framework for Reinforcement Learning with Temporal Goals.
pdfa-learning
A Python project template.
yarllib
Yet Another Reinforcement Learning Library
gym-sapientino
Gym Sapientino environment using Pygame.
pddl2gym
A translator from PDDL domain/problem files to OpenAI Gym environment.
hoa-utils
Utilities for the HOA format.
gym-minecraft-pygame
Gym Minecraft environment using Pygame
flloat
A Python implementation of the FLLOAT library.
pythomata
A Python package for automata theory.
moby-dict
Programmatic access to Moby Project in Python
rltg
Framework for Reinforcement Learning with Temporal Goals.
pythogic
Python package for deal with logical formulas and formal systems