My son really enjoys CEED Universe, but there are some issues (crashes when loading certain zones, typos, missing recipes, etc.)
Is CEED Universe still under active development or has it been abandoned?
Also, is the source available for CEED Universe? I'd be happy to contribute.
I know it is a few years old, but this article claims all the hardware and software for the Pi-Top is Open Source, but I haven't found anything (http://www.linux-magazine.com/Online/Features/Pi-Top-Prepares-to-Revolutionize-Open-Hardware).
I use CEED Universe for an after school club, and many of my students love it. However, I have found issues with it crashing and a few bugs too. I've emailed Pi-Top with a bug recently, and they said they have passed it on to the devs, so I assume they are still working on it.