Yeah sure! I work in a web-development company - with the funds worth 500 bitcoins our programmers would finish a fully functional operating system in a year. (Okay, i am a bit sarcastic, but i think with this amount of money you can hire 50 top programmers which would have finished this "little" project in no time)
A bitcoin core developer has already told me they could have farted out what has been developed here for less than $10k in the space of 1 month and that's a while back so lets say just over 1.5 BTC at the time quoted.