Popular repositories Loading

1. DLNApp DLNApp Public

   Android application to connect to DLNA servers. With full-english documentation

   Java 11 3

2. veritaf veritaf Public

   CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson

   3 1

3. GraphoScan GraphoScan Public

   C++ 3 2

4. ensemble_stable_maximum ensemble_stable_maximum Public

   Maximum independent set problem solver

   Java 2 1

5. RoboTaf RoboTaf Public

   Erlang algorithms for guiding asynchronous robots in a labyrinth

   Erlang 2 1

6. PixelRush PixelRush Public

   Runner game developped with Unity3D. Application availaible on Play Store.

   C# 2