The code files are in a language called Magma which I've never heard of, they are:
https://homes.esat.kuleuven.be/~wcastryc/code/richelot_aux.m
https://homes.esat.kuleuven.be/~wcastryc/code/uvtable.m
https://homes.esat.kuleuven.be/~wcastryc/code/SIKE_challenge...
https://homes.esat.kuleuven.be/~wcastryc/code/SIKEp434.m
=> https://eprint.iacr.org/2022/975 The (pre-print) paper.
The code files are in a language called Magma which I've never heard of, they are:
https://homes.esat.kuleuven.be/~wcastryc/code/richelot_aux.m
https://homes.esat.kuleuven.be/~wcastryc/code/uvtable.m
https://homes.esat.kuleuven.be/~wcastryc/code/SIKE_challenge...
https://homes.esat.kuleuven.be/~wcastryc/code/SIKEp434.m