MLdonkey написан на OCaml.
Конечно, различные библиотеки для функциональных языков также обычно написаны на соответствующем языке. Так что вы можете найти множество проектов в "библиотеке" языка. Например, для haskell есть hackage , в котором полно проектов haskell с открытым исходным кодом.
Некоторые популярные базы данных NoSQL написаны на Erlang (если вы считаете, что это функциональный язык), включая CouchDB и Riak . Оба имеют открытый исходный код и все еще находятся в активной разработке.