haz

transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

manim

Animation engine for explanatory math videos

rlpyt

Reinforcement Learning in PyTorch

football_analytics

📊⚽ A collection of football analytics projects, data, and analysis by Edd Webster (@eddwebster), including a curated list of publicly available resources published by the football analytics community.

socceraction

Convert soccer event stream data to SPADL and value player actions using VAEP or xT

manifest

Prompt programming with FMs.

kissat

pysat

A toolkit for SAT-based prototyping in Python

strips

AI Automated Planning with STRIPS and PDDL in Node.js

cmu-10717-the-art-of-the-paper

Official repository for CMU Machine Learning Department's 10717: "The Art of the Paper".

streambook

Live Python Notebooks with any Editor

downward

The Fast Downward domain-independent classical planning system

cpmpy

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

unified-planning

The AIPlan4EU Unified Planning Library

codeball

Data driven tactical and video analysis of soccer games.

pyknit

A set of tools for knitters to create charts and eventually more.

BirdsPyView

A streamlit app to convert images to top-down view and get coordinates of objects, built for football data collection

pddl

Unquestionable PDDL 3.1 parser

tarski

Tarski - An AI Planning Modeling Framework

hugo-academic-group

An academic group website theme for Hugo.

pyRDDLGym

A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.

wc-code

run code in the browser, https://vanillawc.github.io/wc-code/

powerlifted

Powerlifted Planner

macq

Library for action model acquisition from state trace data.

survey-visualizer

Visualization of survey data.

paladinus

:mechanical_arm: :zap: Paladinus: An Iterative Depth-First Search FOND Planner.

bauhaus

Build logical theories for SAT solvers on the fly

SOFAI-x-Planning

icaps2023.github.io

Web for the ICAPS 2023 conference in Prague

learner-strips

Learn STRIPS action models from state graphs (SAT and ASP)