idris-lang / Idris2

Stargazers

1. 

   Grifs99

   Glades

   Follow
2. 

   ac27182

   Wejo

   Follow
3. 

   fieldstrength

   Klarna

   Follow
4. 

   sopepos

   Seoul, South Korea

   Follow
5. 

   s0kil

   Tryon, NC

   Follow
6. 

   VPagani

   Brazil, RJ

   Follow
7. 

   epicallan

   Kampala Uganda

   Follow
8. 

   dernett

   Joined on Oct 2, 2019

   Follow
9. 

   g-guimaraes

   Joined on Oct 8, 2014

   Follow
10. 

    mizbit

    Joined on Aug 10, 2014

    Follow
11. 

    zaoqi

    -

    Follow
12. 

    wangpengwen

    Joined on Dec 26, 2017

    Follow
13. 

    kemchos

    Joined on Feb 22, 2015

    Follow
14. 

    l4l

    Joined on Oct 10, 2013

    Follow
15. 

    mkulak

    Joined on Mar 15, 2011

    Follow
16. 

    orpheuslummis

    Joined on Aug 14, 2010

    Follow
17. 

    Lancern

    Beijing Institute of Technology

    Follow
18. 

    pingf

    shanghai

    Follow
19. 

    applicato

    Joined on Aug 1, 2016

    Follow
20. 

    Kensuke-Hinata

    redocpot

    Follow
21. 

    aisk

    Beijing, China

    Follow
22. 

    justinyanme

    WeChat, Tencent

    Follow
23. 

    AkihiroTajima

    Kanagawa University

    Follow
24. 

    tahmidbintaslim

    IT

    Follow
25. 

    slegrand45

    Orléans

    Follow
26. 

    kaushalyap

    Joined on Dec 21, 2016

    Follow
27. 

    damodharanj

    Joined on Jul 28, 2014

    Follow
28. 

    timdeputter

    Emden, Germany

    Follow
29. 

    shoichiaizawa

    @cloud-ace

    Follow
30. 

    rendaardy

    Joined on Aug 5, 2016

    Follow