GitHub repository: liyishuai/bignums
Primary language: Coq
Description: Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library