I was going to use their BIP-340 lib, was just looking at the code last night. Now their repo seems to be taken down too.