کتابخانه های نوشته شده با جاوا اسکریپت

مترجم EVM در دافنی.

مشخصات Eth2.0 در Dafny.

DaisyNFS یک سرور NFS است که با استفاده از Dafny و Perennial تأیید شده است..