Meaning and history
Marinus is a name derived from the Roman cognomen Marinus, which may come either from the family name Marius or from the Latin marinus, meaning “of the sea.” It is associated with Saint Marinus, a 4th-century stonemason who built a chapel on Monte Titano in what is now San Marino.