list of powerful tactics not in MIL?

Stream: general

[Alok Singh]

In https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/calc.20mode.20UI.20in.20the.20infoview/near/547449276 @Patrick Massot mentioned several and I for one would love to know some