Several examples have been implemented in MAST, some of which have been ported as tutorials listed below.