Pinned Loading

1. hexhex/core hexhex/core Public

   DLVHEX solver: core system and plugin API

   C++ 24 8

2. abcbenchmarking abcbenchmarking Public

   ABC Benchmarking System

   Shell 2

3. DeMaCS-UNICAL/Angry-HEX DeMaCS-UNICAL/Angry-HEX Public

   An artificial player for the popular video game Angry Birds

   Java 18 6

4. clingoapp clingoapp Public

   Clingo as mobile Android/iOS App based on Xamarin

   C#

5. dsync dsync Public

   Utility for two-way synchronization of possibly distributed directories.

   Java

6. mytheorem mytheorem Public

   LaTeX package for flexible proof positioning.

   TeX