Resolver One¹ /was/ an interesting take on a programmer's spreadsheet. Reading about it again still feels a little exciting.
I remember loads of people talking about it at PyCon, ƛdon, and -- I think -- AngloHaskell(Haskell confs often feel like ~50% quants to me). Don't really recall anyone actually using it for real work though.