Skip to content
View peschue's full-sized avatar

Organizations

@hexhex @knowlp

Block or report peschue

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. hexhex/hexlite hexhex/hexlite Public

    Python-based HEX implementation for a fragment of the HEX language and a subset of features.

    Python 14 5

  2. hexhex/hexlite-owlapi-plugin hexhex/hexlite-owlapi-plugin Public

    An OWLAPI Plugin for the Hexlite solver

    Java 3 1

  3. ai4eu-sudoku ai4eu-sudoku Public

    PoC for a Sudoku design assistant based on ASP, gRPC, and Protobuf, deployable in AI4EU Experiments.

    Python 7 2

  4. ai4eu-ai4industry ai4eu-ai4industry Public

    Repository for the AI4Industry Pilot of the AI4EU project (GUI, Planner, Dummy-Skillmatcher, Dummy-Timeestimation).

    Python 1

  5. hexhex/manual hexhex/manual Public

    Manual for the HEX language and the dlvhex and hexlite solvers

    TeX 1

  6. hexhex/core hexhex/core Public

    DLVHEX solver: core system and plugin API

    C++ 24 8