GitHub repository: mmasdeu/darmonpoints
Primary language: Python
Description: Sage package to compute Darmon points