MACSimulator supports the following MAC protocols: TMAC, TMACP,LMAC, SMAC, CSMA and CSMAACK.
Positif is a model for studying distributed localization in wireless sensor networks.
(Download link points to Consensus project page.)