Import SMILE into github