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

Achievements

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

Achievements

Achievement: 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.

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
@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 || 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." Mainly doing compilers, but interested in everything. C++ / Rust / C# / Typescript; en_US / zh_CN.

@moonbitlang AS13-November-01

@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://tryhackme.com/p/0day

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
よ• Rust/Haskell • Comfy

@kadena-io Salt Lake City, Utah

@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

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@dlicata335
Dan Licata dlicata335
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@codyroux
codyroux
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@Lampese
东灯 Lampese
Be Myself.

WKU | IDEA | PLCT | Rustica WenZhou/ShenZhen

@lsby
hbybyyang lsby
@jamesfang8499
James Fang jamesfang8499