Popular repositories Loading

1. root root Public

2. zzz_issues_archived zzz_issues_archived Public

3. moves-rwth___storm moves-rwth___storm Public

   Forked from moves-rwth/storm

   A Modern Probabilistic Model Checker

   C++

4. ManaPlus___ManaPlus ManaPlus___ManaPlus Public

   Forked from ManaPlus/ManaPlus

   Advanced client for The Mana World and Evol Online (Mirror from https://gitlab.com/manaplus/manaplus)

   C++

5. AllureOfTheStars___Allure AllureOfTheStars___Allure Public

   Forked from AllureOfTheStars/Allure

   Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad game written in Haskell; please offer feedback after trying out the web frontend version at

   Haskell

6. LambdaHack___LambdaHack LambdaHack___LambdaHack Public

   Forked from LambdaHack/LambdaHack

   Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

   Haskell