Not that I know of. Luau is statically typed. I’ve seen some effective uses of t though, and some popular open source networking libraries use either t or their own version. Iirc Red uses a custom one called Guard.
For marking types on objects HugeCoolboy2007’s approach is pretty nice. Unfortunately metatables are lost on their way across the network.