Skip to content
View OlingCat's full-sized avatar
๐Ÿ˜พ
๐Ÿ˜พ
588 followers · 442 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@ADCmnt @Go-zh @Racket-zh @rust-zh @Haskell-zh @Coq-zh @Idris-zh @Kotlin-zh @PLT-zh @RISCV-zh @OCaml-zh @Arend-zh @Lean-zh
Block or Report

Block or report OlingCat

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
@rzach
Richard Zach rzach

University of Calgary Calgary

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@leanprover
Lean leanprover
Lean Prover
@Crispher
Yu Gu Crispher
@PLT-zh
็ผ–็จ‹่ฏญ่จ€็†่ฎบ PLT-zh
@djvelleman
Dan Velleman djvelleman

Annapolis, MD, USA

@Myriad-Dreamin
Myriad-Dreamin
@RexWzh
RexWang RexWzh
A PhD student in Computer Science at ECNU
@effectfully
effectfully
@tuna
Tsinghua University TUNA Association tuna

Beijing, China

@Qiu233
Qiu Qiu233
@AliasQli
Alias Qli AliasQli

Qliphoth Tech. The Moor, Gusto

@WtzLAS
Wtz_LASR WtzLAS
@waterlens
Waterlens waterlens
@lazyparser
Wei Wu lazyparser

@plctlab

@PhotonQuantum
LightQuantum PhotonQuantum
CS undergraduate @SJTU-19

Shanghai Jiao Tong University Shanghai, China

@mio-19
ๆพช mio-19
There is nothing here

Somewhere>

@HoshinoTented
Hoshino Tented HoshinoTented
impl !Ord for Self {}

่‚ฅๅฎ…่กŒไธบๆจกๅผ็ง‘ๅญฆ็ ”็ฉถ้™ข | ๆธ…่Šทๅคงๅญฆ (TsingChih University) ไธ–็•Œ่ฝด / The Axis

@XYenChi
XYenChi
@kokic
kokic kokic
๐–ˆ๐–†๐–“๐–™๐–† ๐–•๐–Š๐–— ๐–’๐–Š ๐–†๐–‰๐–‰๐–Ž๐–”

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

@subfish-zhou
subfish-zhou

Prague

@Altariarite
Yuanting Mao Altariarite
CS&AI student at University of Edinburgh

University of Edinburgh Edinburgh

@Liby99
Ziyang Li Liby99
No Code No Life | Ph.D Student in UPenn CIS

University of Pennsylvania Philadelphia, PA

@roger-uw
Rongxiao Fu roger-uw
@oshmkufa2010
oshmkufa2010
ๆ˜ฏๅบŸๅฎ…ๆœฌๅฎ…ไบ†

Gensokyo

@sezryo
Yvette โ€žSezryoโ€œ Meng sezryo
Do something original!

DPMMS, Cambridge Cambridge / London

@alissa-tung
Alissa Tung alissa-tung
@starxingchenc
starxcc starxingchenc
@bobzhang
Hongbo Zhang bobzhang
@moonbitlang
moonbitlang
@zqy1018
Qiyuan Zhao zqy1018
A beginner. A low-level programmer.

Singapore

@UltimatePea
Ultimate Pea UltimatePea

University of California, San Diego San Diego

@yuyan-lang
yuyan-lang
@abccsss
Chenjing Bu abccsss
Mathematics PhD student at University of Oxford

University of Oxford Oxford

@nyar-vm
nyar-vm
@Hansimov
Hansimov
๐‘บ๐’†๐’† ๐’€๐’๐’– ๐‘บ๐’‘๐’‚๐’„๐’† ๐‘ช๐’๐’˜๐’ƒ๐’๐’š

SJTU (2014 - 2021) โ†’ Intel (2021 - )

@wanting0521
wanting0521
@rust-lang-cn
Rust ไธญๆ–‡่ต„ๆบ rust-lang-cn
Rust ไธญๆ–‡็ฟป่ฏ‘้กน็›ฎ็ป„๏ผˆThe Chinese Translation Team of The Rust Programming Language๏ผ‰

QQ็พค:716348056(้œ€ๆไพ›GitHub็”จๆˆทๅ)

@atelier-anchor
atelierAnchor atelier-anchor
graphic & typeface design studio in shanghai. we make typeface as A narrative.
@KiChjang
Keith Yeung KiChjang

Hong Kong

@marat-rkh
Marat Khabibullin marat-rkh
I do AI Assistant at JetBrains. ex-GoLand, ex-Arend.

JetBrains

@sanpoyur
sanpo sanpoyur
ใ†ใพใใชใ‚ŠใŸใ„ใ€‚

University of Wisconsin-Madison Madison, WI | Shenzhen, GD

@imkiva
Kiva imkiva
PL beginner. I write compilers and IDEs.

Gensokyo

@re-xyr
daylily re-xyr

Carnegie Mellon University Gensokyo

@Him188
Him188 Him188
Student at Imperial College London. Compiler & computer architecture enthusiast. Kyoani forever.

@NVIDIA Cambridge

@XYenon
XYenon XYenon
@Mrs4s
Mrs4s
ๆญปๅฎ… ๆŒ–ๅ‘ไธๅกซๆ€ช
@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@liuxinyu95
Liu Xinyu liuxinyu95

Beijing, China

@simon300000
Simon simon300000
๐Ÿ˜˜

@dd-center Teyvat