Crafty is an optimized .NET port of the minecraft server. - View it on GitHub