pgf/TikZ diagram editor

A HTML5 game of strategy, intrigue and galactic conquest.

Visual Studio Code extension for Coq

This is a Minecraft Datapack for UHC

[mirror of https://gitlab.com/veloren/veloren] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our G…

C# modding swiss army knife, powered by cecil.

Trading environnement for RL agents, backtesting and training.

EVE Online Visual Intel Tool

Hacknet Labyrinths Modloader in C#

Source code for the free indie mmorpg Blue Saga. Make your own version of it, host your own server, have fun!