Minecraft wiki entry for 2010_Indie_of_the_Year_Awards, associated text: There are a number of other versions of Minecraft. Minecraft 4k is a simple version of Minecraft in the style of other "4k" Java games (everything is packaged in 4 kibibytes) that Notch has entered in contests. Minecraft: Pi Edition was a free ported version of the 0.5.0 version of Pocket Edition for the Raspberry Pi,[17] which was intended as an educational tool for novice programmers. It allowed users to manipulate the game code and supported multiple programming languages; however, it was discontinued in January 2016.