Pinned Loading

1. atp-lptp/automated-certification-of-logic-program-groundness-analysis atp-lptp/automated-certification-of-logic-program-groundness-analysis Public

   Automated Certification of Logic Program Groundness Analysis

   Raku

2. atp-lptp/automated-theorem-proving-for-prolog-verification atp-lptp/automated-theorem-proving-for-prolog-verification Public

   Automated Theorem Proving for Prolog Verification

   Shell 4 1

3. revuedepresse/org.revue-de-presse.benchmark revuedepresse/org.revue-de-presse.benchmark Public

   Open-source companion app for Revue de presse

   TypeScript

4. revuedepresse/org.revue-de-presse.api revuedepresse/org.revue-de-presse.api Public

   API serving daily short lists (10 items) of top news in France sorted by popularity.

   PHP 4