Fundamental domains for Shimura curves, written in GAP. Documented with description of algorithms used and program structure, input and output. Results for quaternion algebras with discriminant up to 100.
A package of PARI programs (v.2.1.1 or higher) for calculations described in "Periods of Hilbert modular forms and rational points on elliptic curves" by H. Darmon and A. Logan.
Primo, a primality proving program based on the ECPP algorithm. With Primo one can check crypto-primes and prove whether or not they are actually prime.
