8000 robrix (Rob Rix) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View robrix's full-sized avatar
🌊
every dot and stroke I paint will be alive
🌊
every dot and stroke I paint will be alive

Highlights

  • Pro

Block or report robrix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@emina
Emina Torlak emina

University of Washington Seattle

@davdar
David Darais davdar
Principal Scientist at Galois, Inc.

Galois, Inc. Salt Lake City, UT

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@plaidfinch
finch plaidfinch
founder & director @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, ABD PhD in PL @ UPenn

@starlingcyber

@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@VictorCMiraldo
Victor Cacciari Miraldo VictorCMiraldo

@channable Utrecht, the Netherlands

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-io New York, NY, USA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

0