No, it's still very much alive and kicking: https://github.com/mono/monodevelop/commits/master