Links 27/02/2013

Links 27/02/2013:

• Azure data market: on-line trading of data. For some organisation their data is indeed one of their most valuable assets so not only does seem like a good idea, it is here now
• Frama-C: framework for analysing C-language code. Would be interested to hear if/how it is related to Coccinelle that I mentioned on these pages a while back...
• FEniCS: collection of software of automated solving of differential equations. Includes code generation modules