The Wayback Machine - https://web.archive.org/web/20210725124936/https://github.com/FStarLang/FStar/stargazers
Skip to content

/ FStar

Stargazers

  1. @dit7ya

    dit7ya

    Joined on Aug 29, 2015

  2. @mmacedoeu

    mmacedoeu

    M2

  3. @gruhn

    gruhn

    DeepL

  4. @damienstanton

    damienstanton

    Washington, DC

  5. @Rw1nd

    Rw1nd

    Joined on Oct 4, 2016

  6. @kawaiilang

    kawaiilang

    Joined on Feb 8, 2021

  7. @iitsmel

    iitsmel

    2010s

  8. @timo-cmd2

    timo-cmd2

    CPH Holding

  9. @Gy-Hu

    Gy-Hu

    Xiamen University

  10. @IdiotSavant29

    IdiotSavant29

    Joined on Jul 11, 2021

  11. @idmitriev

    idmitriev

    Saint-Petersburg

  12. @hellpirat

    hellpirat

    Worldwide

  13. @Gravifer

    Gravifer

    Tsinghua University

  14. @worstpractice

    worstpractice

    Sweden

  15. @mahmoudkandeel

    mahmoudkandeel

    @microsoft

  16. @hacdias

    hacdias

    Eindhoven

  17. @dominoesbase

    dominoesbase

    Lisbon

  18. @HopzCreation

    HopzCreation

    india

  19. @pkestene

    pkestene

    CEA Saclay, DRF / IRFU / DEDIP / LILAS

  20. @gbieging

    gbieging

    Joined on Aug 31, 2015

  21. @rungwiroon

    rungwiroon

    Bangkok

  22. @cata0309

    cata0309

    Joined on Jan 20, 2018

  23. @FVRobbin

    FVRobbin

    Joined on May 18, 2014

  24. @Happypig375

    Happypig375

    @CSWCSS-InnoTech

  25. @0xys

    0xys

    Joined on May 17, 2020

  26. @MetaGjt

    MetaGjt

    Joined on Jan 24, 2021

  27. @cpressey

    cpressey

    Far from the tribes of the JAMs

  28. @Jaimeloeuf

    Jaimeloeuf

    @Enkel-Digital

  29. @Enrique-porras

    Enrique-porras

    Joined on Apr 12, 2021

  30. @j450

    j450

    Sweden

Next