Skip to content
View ordovicia's full-sized avatar
🏠
Working from home
🏠
Working from home
22 followers · 3 following
  • Tokyo, Japan

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report ordovicia

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
@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet) Kawasaki, Japan

@naoki9911
Naoki MATSUMOTO naoki9911

Kyoto University

@albasary87
albasary87
@rauljordan
Raul Jordan rauljordan
Software engineer @OffchainLabs. Ethereum core protocol developer Maintainer of @prysmaticlabs/prysm

Offchain Labs Shirogane

@yhm-amber
ypa y yhm yhm-amber
🙃 ︵ ɯɥʎɹǝqɯɐ ︵ ╰╰(°□°)

People's Republic of China

@Karolyna84
Karolyna Karolyna84

Melbourne

@tomxor
Tom Reznik tomxor

@zetz-io Israel

@yez730
yez730
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@sgotand
Shotaro Gotanda sgotand

Tokyo, Japan

@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@szk3y
szk3y
@dev-chulbuji
chulbuji dev-chulbuji

tossbank Seoul

@PospaJohnWick
TomasJohnWick PospaJohnWick
@be-ndee
Andreas Lauter be-ndee
coding + exercising + cooking

Viermorgen

@mytxd
尹名洋 mytxd
Haskeller
@ShiKaiWi
WEI Xikai ShiKaiWi
Learn CS all the life.

Hangzhou

@hcpl
hcpl
@horimotz
Horimoto Hiroumi horimotz
@sktometometo
Koki Shinjo sktometometo
Robotics/Communication/Mechanics/Electronics

JSK Robotics Laboratory 山

@Tagussan
Tagussan

The University of Tokyo Tokyo

@sansurrogate
sansurrogate sansurrogate