Doppler-Lib João Felipe Contreras de Moraes FEEC/Unicamp Biblioteca para calcular a velocidade de um receptor GNSS, usando dados da constelação GPS.