GitHub repository: walkbmc/recipes
Description: Recipes respository