There are 0 repository under minecraft-infdev topic.
A faithful resurrection of Minecraft Launcher from Q2 2010.
A handy tool that gives informs user about block/item ID's for legacy Minecraft versions.