Skip to content
View nhdu79's full-sized avatar

Highlights

  • Pro

Block or report nhdu79

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. pddl-horndl pddl-horndl Public

    This project is a fork of another project of the same name hosted on TU-Dresden (private) Gitlab

    PDDL 1 1

  2. fswt fswt Public

  3. MeTeoR MeTeoR Public

    An extension of https://github.com/wdimmy/MeTeoR with added step-tracing proof for entailment following Glassbox-Algorithm approach

    Python

  4. proof_extractor proof_extractor Public

    Java

  5. network_profile network_profile Public

    Forked from pludoni/network_profile

    Extractor Gem to analyse random strings for profile links of user. E.g. User uploads a PDF, scan it for all references to a social network profile.

    Ruby

  6. rails-static_error_pages rails-static_error_pages Public

    Forked from pludoni/rails-static_error_pages

    Generates 404, 500 etc. pages during deployment and overwrite public/*.html to safely deliver error pages even in case of a deep server error

    Ruby