Add JFLA + mirage-related projects