This is GCIDE, the GNU Collaborative International Dictionary of English, based on Webster's Revised Unabridged Dictionary, with various additions. Started by Patric J. Cassidy, proof-read and supplemented by volunteers from around the world.