Skip to content
View ruth561's full-sized avatar

Block or report ruth561

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
@btj
Bart Jacobs btj
Associate professor of computer science, focusing on formal program verification.

imec-DistriNet, KU Leuven Leuven, Belgium

@ishitatsuyuki
Tatsuyuki Ishi ishitatsuyuki
Low level plumber & diver

Chiba, Japan

@nicolas-raoul
Nicolas Raoul nicolas-raoul
Manager of many open source projects and organizations | GSoC/GCI/Outreachy mentor

Google Tokyo

@MasWag
Masaki Waga MasWag

Kyoto University Kyoto, Japan

@satoru-takeuchi
Satoru Takeuchi satoru-takeuchi
Rook(maintainer)/Ceph/TopoLVM(maintainer)/Kubernetes/Linux kernel

None Japan

@parttimenerd
Johannes Bechberger parttimenerd
Building tools for Java developers @SAP

SAP SE Germany

@sykwer
Takahiro Ishikawa-Aso sykwer
Operating System for Autonomous Driving System

TIER IV, Inc. / The University of Tokyo Tokyo / Japan

@i11u
Terunobu Inaba i11u
Kyoto University M2
@zakki0925224
Zakki zakki0925224
低レイヤーとかRustとか

Japan

@hikalium
hikalium hikalium

Google Everywhere on the Internet

@uchan-nos
Kota UCHIDA uchan-nos
Cybozu Labs, Inc. / Hobby OS/CPU/Compiler developer

Cybozu Labs, Inc. Tokyo