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