GitHub repository: HarryR/panautomata
Primary language: Python
Description: Cross-chain proofs and atomic transactions