Pinned Loading

1. Digital-Dice-Bag Digital-Dice-Bag Public

   A small assistant for any TTPRG players, game masters and dice enthusiasts.

   Kotlin

2. Minesweeper Minesweeper Public

   Classic minesweeper game with desktop and android gui.

   Java 1

3. mCRL2 mCRL2 Public

   Forked from mCRL2org/mCRL2

   The Git repository for the mCRL2 toolset.

   C++

4. SlideABlob SlideABlob Public

   A clone of ICQ's "Slide a Lama"

   C++ 1

5. Transportr Transportr Public

   Forked from grote/Transportr

   The public transport companion that respects your privacy and your freedom.

   Java