guicho271828

trivia

Pattern Matcher Compatible with Optima

aaai-template

latex template for various conferences, as well as wise-man's overleaf (overleaf is terrible!)

latplan

LatPlan : A domain-independent, image-based classical planner

eazy-gnuplot

Super Duper Doopa Booka Lispy Gnuplot library

lisp-namespace

no more discussion on lisp-1 vs lisp-2. THIS IS LISP-N.

ArriVAL

Yet Another Classical planning plan validator written in modern Common Lisp

latplan-fosae

First Order State Auto Encoder implementation for Latplan

another-org-info

Yet Another Org-mode HTML Presentation Script

trivialib.bdd

BDD and ZDD

type-i

Type Inference Utility on unary type-checking predicates

planner-scripts

Wrapper for various planners, with resource limitations

remarkable-cli-tooling

Tooling for the reMarkable paper tablet.

scholarly

Retrieve author and publication information from Google Scholar in a friendly, Pythonic way without having to worry about CAPTCHAs!

cv

Personal CV

downward-benchmarks

experimental-file-organizer

experimental-gnome-do-clone

pddl-generators

Unofficial collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competitions (IPC).

pddlgym

Convert a PDDL domain into an OpenAI Gym environment.

planutils

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

pplanner

pytorch-project-template

raybench

rm-r-experiment

rmcl

reMarkable Cloud Library for Python

sigma-vae-pytorch

A σ-VAE implementation in PyTorch

STRIPS-HGN

Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)

tabnet

PyTorch implementation of TabNet paper : https://arxiv.org/pdf/1908.07442.pdf

yap

yolov3

YOLOv3 in PyTorch > ONNX > CoreML > iOS