Popular repositories Loading

1. fswt fswt Public

2. MeTeoR MeTeoR Public

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

   Python

3. proof_extractor proof_extractor Public

   Java

4. 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

5. coherence_ppdl coherence_ppdl Public

   Python