GitHub repository: tarabelo/pasta
Primary language: Python
Description: PASTA (Practical Alignment using SATe and Transitivity)