The Wayback Machine - https://web.archive.org/web/20210817162946/https://github.com/ms-jpq/coq_nvim/stargazers
Skip to content

/ coq_nvim

Stargazers

  1. @tngebauer

    tngebauer

    Joined on Aug 22, 2016

  2. @wang-borong

    wang-borong

    Joined on Jun 11, 2015

  3. @cemheren

    cemheren

    San Francisco

  4. @Michelalmeidasilva

    Michelalmeidasilva

    Joined on Mar 23, 2018

  5. @usametov

    usametov

    Asta Nova Enterprise Solutions

  6. @ChewingBever

    ChewingBever

    Belgium

  7. @prawit222523

    prawit222523

    Joined on Aug 17, 2021

  8. @kradalby

    kradalby

    @G-Research

  9. @thazhemadam

    thazhemadam

    India

  10. @wideltann

    wideltann

    Joined on May 27, 2015

  11. @lourenc

    lourenc

    Madfish.Solutions

  12. @pratheekevive

    pratheekevive

    @EviveHealth

  13. @michventura

    michventura

    Toronto

  14. @plamengj

    plamengj

    Joined on Mar 13, 2015

  15. @martin-juul

    martin-juul

    Denmark

  16. @bsolomon1124

    bsolomon1124

    Washington, D.C.

  17. @smartding

    smartding

    Joined on Dec 24, 2015

  18. @Badhi

    Badhi

    Joined on Dec 23, 2014

  19. @uncomfyhalomacro

    uncomfyhalomacro

    Ozamiz City, Misamis Occidental, Philippines

  20. @eelkeh

    eelkeh

    @Peerby

  21. @woosal1337

    woosal1337

    @globalaihub @nutzentech @hackclub @kodluyoruz @dscmedipol @MedipolAutonomousVehicles

  22. @yhnu

    yhnu

    KingSoft

  23. @cristianbenites

    cristianbenites

    Joined on Jul 19, 2019

  24. @thisisleobro

    thisisleobro

    Joined on Jan 26, 2017

  25. @shaunstanislauslau

    shaunstanislauslau

    Singapore

  26. @UltiRequiem

    UltiRequiem

    Perú

  27. @Congee

    Congee

    New York

  28. @HoldenLucas

    HoldenLucas

    @immuta

  29. @namtx

    namtx

    Danang, VN

  30. @tmarice

    tmarice

    Zagreb

Next