Skip to content
View OswaldXia's full-sized avatar
3 followers · 59 following
Block or Report

Block or report OswaldXia

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
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@soumyasen1809
Soumya Sen soumyasen1809
@barbagroup
Barba group barbagroup

Washington, DC

@hzxwonder
hzxwonder
@79134054
79134054
@lewiszlw
εΌ ζž—δΌŸ lewiszlw
Database engineer | Hobbyist game dev | Apache DataFusion committer | Creator of @NightsWatchGames and @systemxlabs

Wuhan

@NightsWatchGames
Night's Watch Games NightsWatchGames
Build open source games for fun.

Earth

@IppClub
I++ Club IppClub
Geek Utopia!

Nanjing, China

@ljb1672
ljb1672

China

@tum-pbs
TUM Physics-based Simulation tum-pbs

Munich!

@lightjiao
Light lightjiao
Game developer.

Garena Shanghai, China

@agda
Agda Github Community agda
@migueldeicaza
Miguel de Icaza migueldeicaza

Xibbon Boston, MA.

@google
Google google
Google ❀️ Open Source

United States of America

@apple
Apple apple

Cupertino, CA

@AlmasB
Almas Baim AlmasB
Principal Lecturer, Computing and Robotics Lead at the University of Brighton. A passionate software and game developer. PhD in Computer Science.

University of Brighton UK

@kenjihiranabe
Kenji Hiranabe kenjihiranabe
C++, Java programmer, Agile practitioner CTO and Co-Founder at Change Vision, Inc ; CEO at ESM, Inc.

Change Vision, Inc. Fukui

@RachelCmy
Mengyu (Rachel) Chu RachelCmy
@jason-huang03
Jason Huang jason-huang03
I am an undergraduate student from IIIS (Yao Class), Tsinghua University.

Tsinghua University Beijing, China

@SebLague
Sebastian Lague SebLague

Denmark

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@madagra
Mario Dagrada madagra
Scientific Software Engineer and Manager

Eindhoven, The Netherlands

@niltok
玩火 niltok
βŠ₯-elim πŸ”₯
@thu-ml
TSAIL group thu-ml
Tsinghua Statistical Artificial Intelligence & Learning Group

FIT Building, Tsinghua University, Beijing, China

@flypitch
flypitch
Formal proof of the independence of CH. This account is maintained by @jesse-michael-han.

University of Pittsburgh Pittsburgh

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Carnegie Mellon University

@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@kokic
kokic kokic
π–ˆπ–†π–“π–™π–† π–•π–Šπ–— π–’π–Š π–†π–‰π–‰π–Žπ–”

@San-Angeles @the-red-pixel @csausk Beijing, China

@Agda-zh
Agda δΈ­ζ–‡ζ–‡ζ‘£ Agda-zh
Agda δΈ­ζ–‡ζ–‡ζ‘£ηΏ»θ―‘
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@andrew-bacon
andrew-bacon
@Infinity-Type-Cafe
Infinity-Type-Cafe
@deepfindr
deepfindr
Different projects for my YouTube channel. :)

Germany

@isocpp
Standard C++ Foundation isocpp
@YdrMaster
Derui Yang YdrMaster

QiYuanLab Beijing

@Jebroll
Jebroll
@conda-forge
conda-forge conda-forge
A community led collection of recipes, build infrastructure and distributions for the conda package manager.
@rcore-os
rCore OS rcore-os
Combining Various Operating Systems Using OS-Reusable Components

Beijing, China

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@ksg0605
sungyu Kim ksg0605
iOS Developer, Swift, UIKit, SwiftUI, High School CS Teacher

Topyeong High School Guri

@TheAlgorithms
The Algorithms TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language

India

@google-research
Google Research google-research

Earth

@Whu-Lambda
Whu Lambda Whu-Lambda
We live in a lambda cube!
@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA

@logic-and-learning-lab
Logic and Learning lab logic-and-learning-lab
The Logic and Learning (LOL) group works on inductive logic programming
@zhelper-org
zhelper-org
@surge-networks
Surge Networks surge-networks

Surge Networks Inc.

@LearningOS
The Learning&Training Hub of OS Kernel LearningOS
the Learning&Training Hub of OS Kernel for Students & Developers

China

@nikomatsakis
Niko Matsakis nikomatsakis

Boston, MA