So, that's a good example: ceylon.time is implemented in pure Ceylon, and is totally cross-platform.