The web front end for Overleaf, a web-based collaborative LaTeX editor. Regular pull updates from upstream. DO NOT Fork, just cherry-pick the first commit.

Z3 tutorials from the rise4fun website

A heavily modified RPG Maker XP game project that makes the game play like a Pokémon game. Not a full project in itself; this repo is to be added into an existing RMXP game project.