Pinned Repositories
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
BuzzData-Library
Various libraries for interfacing with the BuzzData API.
cisc204-graph-properties-project
cisc204-ta-assignment-project
Project to assign TA's to courses, used as an example in the course CISC 204
sympy
SymPy main development repo
wardly-to
Project to embed a custom map of the wards in Toronto.
bauhaus
Build logical theories for SAT solvers on the fly
dsharp
planner-for-relevant-policies
python-nnf
Manipulate NNF (Negation Normal Form) logical sentences
haz's Repositories
haz/cisc204-graph-properties-project
haz/cisc204-ta-assignment-project
Project to assign TA's to courses, used as an example in the course CISC 204
haz/fd-multisearch
Modification of FD to have the search procedure called multiple times with varying initial / goal states.
haz/cisc204-tsuro
Course project to solve Tsuro.
haz/icaps2023.github.io
Web for the ICAPS 2023 conference in Prague
haz/icaps2024.github.io
Website for ICAPS 2024
haz/cisc204-kanoodle-project
Course project for CISC/CMPE 204: Modelling Kanoodle Jr. in propositional logic.
haz/cloud-temporal-solver
Repository that lets you run an automated planner as a service on heroku.
haz/colour-cubes
Project for CISC/CMPE 204 - 2022
haz/coverage-plots
Time-coverage integrated plots
haz/haz.github.io
Personal site verification
haz/hugo-issue
Just a temporary repository
haz/icaps2017.github.io
ICAPS 2022 website
haz/info8010-deep-learning
Lectures for INFO8010 - Deep Learning, ULiège
haz/interaction_interpretability
Feature Interaction Interpretability via Interaction Detection
haz/IPPC2023
2023 International Probabilistic Planning Competition
haz/LAPKT-public
LAPKT public repository
haz/llm-viz
3D Visualization of an GPT-style LLM
haz/Lobot
haz/minor-planning
PDDL Encoding for Forbidden Minors
haz/modeling-in-pddl
PDDL exercises and coursework assignments.
haz/myND
haz/nodeunit
Easy unit testing in node.js and the browser, based on the assert module.
haz/pddl
Unquestionable PDDL 3.1 parser
haz/planning-as-a-service
The newly improved planner (and more) in the cloud.
haz/PREWL
Prompt Engineering Wrapper for LLMs (PREWL)
haz/pyRDDLGym
A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
haz/releasing-research-code
Tips for releasing research code in Machine Learning (with official NeurIPS 2020 recommendations)
haz/survey-visualizer
Visualization of survey data.
haz/tarski
Tarski - An AI Planning Modeling Framework