There are several explicit extant implementations of the Ricardian contract design pattern and there are some projects which do so implicitly and others which are heading in that direction.
Amongst those explicitly using the pattern are: - Open Transactions - OpenBazaar - Monax Legal Markdown - Askemos - Barclays' Smart Contract Templates - R3 CEV - Live Contracts