Skip to content

Stargazers

  1. @zekun-shi

    zekun-shi

    Works for Sea AI Lab, National University of Singapore

  2. @dhsorens

    dhsorens

    Works for University of Cambridge

  3. @Rw1nd

    Rw1nd

    Works for Peking University

  4. @unsoundsystem

    unsoundsystem

    Is from Japan

  5. @clarus

    clarus

    Works for Formal Land

  6. @rigobert9

    rigobert9

    Works for Student

  7. @jizej

    jizej

    Works for UIUC

  8. @yangky11

    yangky11

    Works for Meta Fundamental AI Research (FAIR)

  9. @Skantz

    Skantz

    Is from Shirokanedai

  10. @PyroLagus

    PyroLagus

    Joined on May 31, 2013

  11. @nikitavoloboev

    nikitavoloboev

    Joined on Jan 13, 2014

  12. @huynhtrankhanh

    huynhtrankhanh

    Works for @coq-community

  13. @zoep

    zoep

    Works for Ethereum Foundation

  14. @NajNordneH

    NajNordneH

    Joined on Nov 11, 2020

  15. @nobrowser

    nobrowser

    Joined on Dec 31, 2008

  16. @omasanori

    omasanori

    Is from Japan

  17. @erikmd

    erikmd

    Works for Lab. IRIT, Univ. Toulouse

  18. @sailfish009

    sailfish009

    Works for freelancer

  19. @mukeshtiwari

    mukeshtiwari

    Is from Swansea

  20. @jtcoolen

    jtcoolen

    Works for Nomadic Labs

  21. @ramonfmir

    ramonfmir

    Is from London

  22. @pi8027

    pi8027

    Is from Lyon, France

  23. @Triang-jyed-driung

    Triang-jyed-driung

    Works for L'Université Tsinghua

  24. @GKerfImf

    GKerfImf

    Joined on Aug 6, 2014

  25. @ufwt

    ufwt

    Joined on Jun 22, 2013

  26. @tomhoule

    tomhoule

    Works for @grafbase

  27. @Mbodin

    Mbodin

    Works for INRIA

  28. @asakul

    asakul

    Joined on Jun 5, 2014

  29. @utensil

    utensil

    Joined on Mar 17, 2009

  30. @linusboyle

    linusboyle

    Works for Tsinghua University

  31. @dannypsnl

    dannypsnl

    Works for @second-state

  32. @h1994st

    h1994st

    Joined on Mar 23, 2013

  33. @jhdmpp

    jhdmpp

    Is from atx

  34. @wrrnhttn

    wrrnhttn

    Joined on Jul 7, 2012

  35. @tkersey

    tkersey

    Works for @thisisartium

  36. @scott-fleischman

    scott-fleischman

    Joined on Aug 20, 2013

  37. @lukaszcz

    lukaszcz

    Joined on Mar 12, 2009

  38. @CalvinNeo

    CalvinNeo

    Works for @pingcap

  39. @vyorkin

    vyorkin

    Works for @zeriontech

  40. @smorimoto

    smorimoto

    Works for @ocaml @tc39

  41. @takehaya

    takehaya

    Works for BBSakura Networks, Inc.

  42. @dmjio

    dmjio

    Joined on Jun 25, 2011

  43. @CYBAI

    CYBAI

    Is from Tokyo

  44. @KvaroverHeaven

    KvaroverHeaven

    Is from localhost, Taiwan

  45. @soraros

    soraros

    Joined on Dec 7, 2013

  46. @Tridu33

    Tridu33

    Joined on Aug 21, 2017

  47. @dranov

    dranov

    Is from Singapore

  48. @anton-trunov

    anton-trunov

    Works for https://tonstudio.io