Practical implementation of the synchronization-string based "Insdel Codes" by Haeupler and Shahrasbi in their paper:
"B. Haeupler and A. Shahrasbi, “Synchronization strings: codes for insertions and deletions approaching the Singleton bound,” in Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Montreal Canada: ACM, Jun. 2017, pp. 33–46. [Online]. Available: https://dl.acm.org/doi/10.1145/3055399.3055498"