Eigenpoll
: D features : Build-in contracts
The support for programing by contracts in D.