Skip to content
View DrRuisseau's full-sized avatar
🐲
SERENITY
🐲
SERENITY

Block or report DrRuisseau

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@gvolpe
Gabriel Volpe gvolpe
λ Functional Programming λ

Buenos Aires, Argentina

@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@aleksnanevski
Aleksandar Nanevski aleksnanevski

IMDEA Software Institute Boadilla del Monte (Madrid)

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@pshirshov
Paul S. pshirshov
Turns any bullshit into compilers.

@7mind Dublin

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@alexandru
Alexandru Nedelcu alexandru
Scala and Haskell enthusiast, @typelevel contributor, author of @monix

@ing-bank România

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@xieyuheng
Xie Yuheng xieyuheng
rdi rsi rdx rcx r8 r9: diana's silly dog chases rabbits ruthlessly.

China