Date formula hurts my head, have you seen it before and how does it work?

[system]

This formula seems to be related to or is the same as Zeller's Congruence:

Zeller's congruence

Maybe if you remove the "mod 7" modulo operation in Zeller's formula you obtain a similar result as yours.

Zeller's Congruence does take into account leap years.