Korat project has been moved to SourceForge.