I am a web dev but recently I have a growing interest in robotics and computer engineering. Thus I bought a raspberry pi 3, installed raspbian and then kodi (for testing purposes) on it, kodi was a bit laggy, don't know what to do with it now. Will try to it as a home server, just like a digitalocean droplet. Better suggestions?