GitHub - orsinium-labs/simple-tla: Collection of useful "operators ...