Comment by wrycoder

There is an implementation: Martian Time in Hare[0], which is based on the Martian Business Calendar[1]

[0] https://harelang.org/blog/2022-08-01-martian-time-in-hare/

[1] http://www.bdm.id.au/calendar/mars_calendar.html