Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲
172 followers · 72 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Organizations

@Lean-zh

Block or report CAIMEOX

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
@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@SimplicialCat
王进一 SimplicialCat
Graduate student (2024- ) at Qiuzhen college, Tsinghua University.
@chuigda
Chuigda Whitegive chuigda
Unique – Icy: Basic attacks slow the target on-hit by (Melee role 40% / Ranged role 20%) for 1.5 seconds, refreshing with every hit

Doki Doki λ Club! /dev/null

@staroperator
Dexin Zhang staroperator
@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY

@frenzymath
FrenzyMath frenzymath
@riaqn
Zesen Qian riaqn
Modelling the world.

Jane Street London, UK

@SequentCalculus
SequentCalculus
@MATRIXKOO
M4tr1xt4ng MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI

@Vidar-Team @InProgramming @earth

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@yihozhang
Yihong Zhang yihozhang
PhD student at the University of Washington

Seattle

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@optozorax
ilya sheprut optozorax
Programmer, youtuber, portal scientist
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@TheCymaera
Cymaera TheCymaera
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@INRIA
Inria INRIA
National Institute for Research in Digital Science and Technology

France

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@mirryi
Eric Zhao mirryi

Brown University

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@yangzhixuan
Zhixuan Yang yangzhixuan

Imperial College London Web

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@bf-enterprise-solutions
Brainfuck Enterprise Solutions bf-enterprise-solutions
Welcome to the new era of reliability

United States of America

@cireu
閱卜錄 cireu
昔人已乘黃鶴去

China, Guangdong

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@imlyzh
Lyzh imlyzh

Chengdu

@DavePearce
David Pearce DavePearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

ConsenSys New Zealand

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

AWS Seattle

@utensil
Utensil utensil
@daanx
Daan daanx

US

@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Building compilers & developer tooling. OCaml / Rust / C# / C / Typescript; en_US / zh_CN.

AS16-November-08

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@anqur
Anqur anqur
I make programming languages.

@Suzhou-Tongyuan Chengdu, China

@bobzhang
Hongbo Zhang bobzhang
@haskell
Haskell haskell
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@nayuki
Nayuki nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.

Project Nayuki Toronto, Ontario, Canada

@mattn
mattn mattn
Long-time Golang user&contributor, Google Dev Expert for Go, and author of many Go tools, Vim plugin author. Windows hacker C#/Java/C/C++, ex-GitHubStars

Osaka, Japan

@sindresorhus
Sindre Sorhus sindresorhus
Full-Time Open-Sourcerer. Focused on Swift & JavaScript. Makes macOS apps, CLI tools, npm packages.
@plctlab
PLCT Lab plctlab
Compilers, Simulators, Runtimes

China

@wenweili
Wen-Wei Li wenweili
Teacher

Peking University Beijing

@0dayCTF
Ryan Montgomery 0dayCTF
Pentester / Child Safety Warrior / Serial Entrepreneur -- Check me out on https://ryanmontgomery.me

https://pentester.com

@teorth
teorth
@argumatronic
Julie Moronuki argumatronic
Teacher, (type) writer, Haskell den mom. Cofounder of @typeclasses

@joyofhaskell MONTANA

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

China

@emilypi
Emily Pillmore emilypi
Yeehaw

Salt Lake City, Utah