Do not follow this link

~mpu

http://c9x.me

~mpu/qbe

qbe (collab)

~mpu/coremark

~mpu/satx

sat-solving toying