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
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@rockthejvm
Rock the JVM! rockthejvm
The official repositories for Rock the JVM courses
@abuseofnotation
Jencel abuseofnotation

@sofia-municipality Sofia, Bulgaria

@faiface
Michal Štrba faiface
Infinity is smaller than 380012893427665492.
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@jto
Julien Tournay jto
Functional programmer. I use Scala. Data Engineer @spotify

Stockholm

@waxzce
Quentin ADAM waxzce
CEO @ Clever Cloud

Clever Cloud Nantes, France

@milessabin
Miles Sabin milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.

Underscore/Typelevel/shapeless/grackle Brighton, UK

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@a-khakimov
Ainur Hakimov a-khakimov

Belyanka, Bashkortostan

@scala-exercises
Scala Exercises scala-exercises
Scala Exercises is an Open Source project for learning different technologies based in the Scala Programming Language.
@cblp
Yuriy Syrovetskiy cblp
machine whisperer

Montenegro

@oybek
oybek oybek

Osh, Kyrgystan

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@jart
Justine Tunney jart

Mountain View, CA

@paulcadman
Paul Cadman paulcadman
Software engineer, mathematician, opera lover.

London

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@vikraman
Vikraman Choudhury vikraman
Chancellor's Fellow

University of Strathclyde Glasgow, UK

@jdegoes
John A. De Goes jdegoes

Ziverge Inc. Maryland, USA

@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@razetime
Raghu R razetime
I do array programming and i mess with programming languages.
@bishabosha
Jamie Thompson bishabosha
Language design ❤️
@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@armanbilge
Arman Bilge armanbilge
Executive Director of Typelevel Foundation. (Distracted) computational evolutionary biologist. I write Scala, read DNA, and speak in conditional probabilities.

@typelevel Seattle, Washington

@LukeMathWalker
Luca Palmieri LukeMathWalker
Playing around with Rust, at $dayjob and for fun.

Mainmatter Rome

@politrons
Pablo Picouto García politrons
So long and thanks for all the fish

Marionete world

@sequents
sequents
Proof & type theory studies
@booniepepper
Justin "J.R." Hill booniepepper
Programming philologist and concatenative programming nerd. I also ❤️ interacting with plain text and pipes, it may be terminal.

@so-dang-cool US

@kelbon
kelbon
C++ artist
@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@HerringtonDarkholme
Herrington Darkholme HerringtonDarkholme
🌐 Frontend Vimmer. 💻 Previously worked at @bytedance. ⚛️ @reactjs and @flow at work :) 闇と森の妖精

Rainbow Alliance Shinnippori