Elmer / Muz, to'liq fizikaviy muz dinamikasini tahlil qilish uchun maxsus modullarga ega bo'lgan ko'p fizikali cheklangan element kodi
ISSM - Muz qatlamlari tizimining modeli, muz qatlamlarini modellashtirishga bag'ishlangan (termomekanik birikma, ma'lumotlarni assimilyatsiya qilish, sezgirlik tahlili, ...) ko'p maqsadli massivda parallellashtirilgan cheklangan elementlar ramkasi.
PISM - Muzli tokchalar va muz oqimlarini o'z ichiga olgan parallel muz qatlami modeli.
SICOPOLIS - POLitermik muz qatlamlari uchun SImulation COde, politermik sharoitlarni hisobga oladigan 3D muz qatlami modeli (muz qatlamining turli qismlarida erish nuqtasida va undan pastda muzning birga yashashi).