All the sample applications that deal with core semantics are here.