Kodi is the baseline from which the other two are built upon. Those two are "forks" or builds from the pure Kodi. The good thing about them is that you can have multiple 'kodi' installations on your android box, and they are pre-configured with addons. The negative is that the load maybe controlled by the maker of the build, and in some cases can delete its installation without you understanding how. I think TVMC is legitimate, the 'Stalker_xbmc' maybe a build that includes IPTV Stalker, but I think it asks for payment for premium access... which to me is illegitimate and a scam at worst if they are selling stuff that is already free.