This is a list of links to different freely available learning resources about computer programming, math, and science. - bobeff/programming-math-science ...

act is a toolbox for finding concurrency memory model discrepancies between C code and its compiled assembly. It can use memalloy as a test-case generator, and generates litmus tests that can be used ...