Extensions and frameworks used in TotalCross projects