Skip to content

Instantly share code, notes, and snippets.

@jozefg

jozefg/closconv.lhs

Last active June 4, 2025 10:59
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save jozefg/652f1d7407b7f0266ae9 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save jozefg/652f1d7407b7f0266ae9 to your computer and use it in GitHub Desktop.
Download ZIP

Stargazers

  1. @funrep

    funrep

    Is from World

  2. @tkob

    tkob

    Joined on Jan 4, 2014

  3. @anttih

    anttih

    Works for @reaktor

  4. @twopoint718

    twopoint718

    Works for @beflagrant

  5. @noprompt

    noprompt

    Is from Friant, CA

  6. @joom

    joom

    Works for @Bloomberg

  7. @evincarofautumn

    evincarofautumn

    Is from SFBA

  8. @secondwtq

    secondwtq

    Works for Sichuan University

  9. @csabahruska

    csabahruska

    Is from London

  10. @touyou

    touyou

    Works for @goodpatch

  11. @gatlin

    gatlin

    Is from Austin, TX

  12. @shinnya

    shinnya

    Is from Japan

  13. @nikosvaggalis

    nikosvaggalis

    Joined on Mar 27, 2017

  14. @Abhiroop

    Abhiroop

    Works for ETH Zurich

  15. @iohub

    iohub

    Joined on Nov 29, 2016

  16. @boloutaredoubeni

    boloutaredoubeni

    Is from Brooklyn, NY

  17. @dmjio

    dmjio

    Joined on Jun 25, 2011

  18. @yzh119

    yzh119

    Is from Seattle, WA

  19. @553224019

    553224019

    Joined on Aug 23, 2017

  20. @evertedsphere

    evertedsphere

    Is from Paris

  21. @symbiont-larry-diehl

    symbiont-larry-diehl

    Works for @symbiont-io

  22. @symbiont-brian-shirai

    symbiont-brian-shirai

    Joined on Sep 14, 2020

  23. @strake

    strake

    Is from Mountain View, California, Earth

  24. @ebresafegaga

    ebresafegaga

    Joined on Oct 5, 2017

  25. @4y8

    4y8

    Works for École normale supérieure - PSL

  26. @intsuc

    intsuc

    Is from Japan

  27. @moleike

    moleike

    Is from Barcelona

  28. @skliew

    skliew

    Is from Kuala Lumpur

  29. @tominated

    tominated

    Works for @datadog

  30. @samueldurantes

    samueldurantes

    Works for @bipa-app

  31. @bynect

    bynect

    Is from Laniakea Supercluster

  32. @agustinmista

    agustinmista

    Works for @Tweag

  33. @gmtcrary

    gmtcrary

    Works for WARN Industries, Inc.

  34. @zehaochen19

    zehaochen19

    Joined on Sep 5, 2017

  35. @fogti

    fogti

    Works for @hermit-os

  36. @thomasvrgn

    thomasvrgn

    Joined on Oct 20, 2019

  37. @dhilst

    dhilst

    Is from Brazil - Florianópolis

  38. @atennapel

    atennapel

    Is from Netherlands

  39. @brendanzab

    brendanzab

    Works for @yeslogic

  40. @Dimev

    Dimev

    Joined on Apr 19, 2019

  41. @emekoi

    emekoi

    Is from Bloomington, Indiana

  42. @dmatysiak

    dmatysiak

    Joined on Oct 25, 2010

  43. @gurpreetsingh-exe

    gurpreetsingh-exe

    Joined on Oct 1, 2017

  44. @zhaoyig

    zhaoyig

    Works for University of Waterloo

  45. @Thrithralas

    Thrithralas

    Works for ELTE Faculty of Informatics, Department of Programming Languages and Compilers

  46. @IModer

    IModer

    Is from Hungary