The Asterix Project/Extensions