1) bluespec.com ? galois.com ?
2) Что Вы называете "большой проект"? Учтите, что мерить в количестве строк, количестве программистов или времени разработки некорректно т.к. подобное утверждение можно будет опровергнуть тем, что хаскель лаконичен, достаточно продуктивен чтобы стопицот программистов было не нужно, а действительно качественная компиляция и много библиотек появились лишь сравнительно недавно. (внимание: я не утверждаю, что это так - я утверждаю, что если Вы будете мерить именно так, то обсуждение зайдет в тупик)