nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
nobrowser's Following
- AltGrInria + OCamlPro
- andrejbauerUniversity of Ljubljana
- astampoulis
- c-cubeImandra (@imandra-ai)
- Chris00Université de Mons
- crussoDfinity
- DrupInria
- duplode
- epoberezkin@simplex-chat
- fblanquiINRIA
- fpottierInria
- jameschertiToronto, ON, Canada
- JasonGrossMachine Intelligence Research Institute
- kritzcreek@Sourcegraph
- lefessanOCamlPro SAS
- lpw25Jane Street
- mb64
- mrkkrp@tweag
- mshinwell
- phadejWell-Typed LLP
- robbertkrebbersRadboud University Nijmegen
- rossbergGoogle
- seliopou@seliopou
- sheaf
- SKolodynski
- spittersAarhus University
- stedolan
- sweirichUniversity of Pennsylvania
- UnkindPartitionUkraine
- vmchale
- whitequark@ChipFlow
- xclercLondon
- xserraUniversitat Pompeu Fabra
- yallopUniversity of Cambridge
- yminskyJane Street
- YoricPasqal