In SageMath:

• p-adic numbers;
• valuations (by Julian Rüth);
• semistable models of curves.

In Magma:

• reconstruction of plane quartic curves from their invariants;
• calculating endomorphism rings of Jacobians;
• canonical models of arithmetic (1; inf)-curves.