As explained in the description of the video, this is not running on a vanilla Minecraft server, but on their own implementation optimized to run redstone circuits.

The code displayed at the beginning seems to come from that: https://github.com/MCHPR/MCHPRS/blob/master/crates/core/src/...