[go: up one dir, main page]
Skip to content
View jaycech3n's full-sized avatar
48 followers · 54 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report jaycech3n

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
@nholuongut
Nho Luong nholuongut
💁Vietnam DevOps Engineer Lead🇻🇳🇻🇳🇻🇳 🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳Vietnam Timeless Charm 🥰Enjoy Every Moment 🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳🇻🇳😜Good Vibes Only

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@sysang
Dao Sy Sang sysang
@SyntakticSugar
Robert Culling SyntakticSugar
Mathematics teacher interested in type theory and functional programming 👨‍💻

Christchurch, New Zealand

@jindalmayank13
Mayank Jindal jindalmayank13
PEC'25 || Web Development || Machine Learning || Blockchain ||

Chandigarh,India

@jacobsomer
Jacob Somer jacobsomer
Aspiring software engineer interested in learning, building, and helping people through code

Falls Church, VA

@topological-modular-forms
Emily topological-modular-forms
@exxjob
exxjob
i have no mouth and i must beatbox
@ianhhlee
ianhhlee
@tomhoule
Tom Houlé tomhoule
they're good abstractions Brent

@grafbase Berlin, DE

@LiuYinCarl
Kenshin LiuYinCarl
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

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

@second-state Taiwan

@nmvdw
Niels van der Weide nmvdw
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@malinkov8
malinkov8
@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@floverity
Florrie Verity floverity

Australian National University Ngunnawal and Ngambri country

@YiqiXu
Yiqi Xu YiqiXu
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA. Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com

Chapman University Orange, CA

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@nikitavoloboev
Nikita nikitavoloboev
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@waynee95
waynee95
programmer. vim user. student

Germany

@Carnagion
Indraneel Mahendrakumar Carnagion
MSci CS with AI student at the University of Nottingham. Functional programmer and prog metal enjoyer.

University of Nottingham United Kingdom

@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.

ENS Paris-Saclay Paris, France

@xieyuheng
谢宇恒 / Xie Yuheng xieyuheng
我们对一个物体所形成的概念，就是在我们所关心的情况下，这个物体的具有实际影响的效果的总和。

China

@tgldr
Tuguldur UlamUndrakh tgldr

US

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@christofsteel
Christoph Stahl christofsteel
PhD Student in Germany Matrix: @christofsteel:k-fortytwo.de

TU Dortmund Dortmund

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@g-pechorin
Peter LaValle g-pechorin

@kl2c-co-uk

@nasosev
Naso Evangelou-Oost nasosev
Researcher, Developer

@oneironaut-dev Australia

@nicolaikraus
Nicolai Kraus nicolaikraus

University of Nottingham

@shawnzaru
shawn shawnzaru
@sxwang1991
sxwang1991
@danielwychen
Daniel danielwychen
I work best at the intersection of law and information technology.

Hedgebook Christchurch, New Zealand

@kappelmann
Kevin Kappelmann kappelmann

TU Munich, University of Oxford Germany (Munich)

@annamiraotoole
Annamira O'Toole annamiraotoole

Cambridge, MA / Berkeley, CA

@fuath
fuath
@slapekm
Mariusz Słapek slapekm

Gdansk

@josephcmac
José Manuel Rodríguez Caballero josephcmac

Québec, Québec, Canada

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@vic
Victor Borja vic
Code Suprematism.

Software Villain Mexico City

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@tbeddy
Tim Bedford tbeddy
Fullstack Software Developer

Washington, DC

@sn6uv
Angus Griffith sn6uv

California, United States of America