GitHub repository: sad-ish-cat/DioApprox
Primary language: Sage
Description: Sage code for CMU collaboration on Diophantine approximation 2024