The hello_world tutorial repository