I think having this written in Motoko would be cool if nobody else has done that so far. I am not aware of such library at least.
regarding the ExperimentalCycles, please note that a new Motoko base library is in the works and can already be used. see following thread: Motoko Base Library Changes
if you want to implement this in Motoko, you might want to consider publishing this as a library to https://mops.one
curious what you come up with and please let us know if you face any issues implementing this! 