Explore @krr-up Open Source projects

KRR@UP (@krr-up)

krr-up

Stars
15
Global Org. Rank 133,460 (Top 43 %)
Registered about 6 years ago
Most used languages

Python
44.4 %

TeX
33.3 %

Shell
11.1 %

Jupyter Notebook
11.1 %
Location 🇩🇪 Germany
Country Total Rank 40,274
Country Ranking

TeX
658

Shell
4,949

Jupyter Notebook
5,747

Python
9,760

asp-macros

LaTeX macros for concepts from ASP (originally built for ASP book)

bibliography

📚 BibTeX bibliography files of all papers referenced by the group

mapf-instance-generator

MAPF instance generator

flatland

A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.

benchmark-tool-guide

Guide to the Potassco benchmark tool

notebook

Jupyter Notebook

renopro

Reifying non-ground ASP programs.

latex-style-comments

A scaled down version of Torsten's comments style that is hopefully more compatible

ucorexplain

We play around how to get explanations as a proof tree using UNSAT core techniques