If not using pre-shredded carrots, peel carrots and grate to make 4 cups grated carrots. Wash and dry mint leaves and cilantro, then finely chop. Thinly slice green onions. Mix together lime juice and green Tabasco sauce, then whisk in olive oil. In a medium salad bowl, mix shredded carrots, chopped mint, chopped cilantro, and sliced green onion. Add dressing and stir until salad ingredients are well-coated with dressing. Season to taste with salt and fresh-ground black pepper and serve.