Skip to content
View Kha's full-sized avatar
266 followers · 9 following

Sponsoring

@YaLTeR

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx4Achievement: Public SponsorAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx4Achievement: Public SponsorAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@leanprover @IPDSnelting

Block or report Kha

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
@seanmcl
Sean McLaughlin seanmcl
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@jkpjkpjkp
jkpjkp jkpjkpjkp

4paradigm Haidian, China

@ym-han
ym-han
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

jobleap japan

@podikoglou
alex podikoglou
@aaspeel
Antoine Aspeel aaspeel
I am a postdoc in control and optimization

CentraleSupélec Paris

@SongziB612
SongziB612
@f64u
Fady Adal f64u

Cairo, Egypt

@abol-karimi
Abolfazl Karimi abol-karimi
PhD student in computer science at UNC-Chapel Hill
@jellyterra
Jelly Terra jellyterra
Focus on architecture, formal, compiler and HLS. Qed.

Gensokyo

@jessealama
Jesse Alama jessealama
Racket, JS, Lean, math.

Mainz, Germany

@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

@GodelianSentence
AnalyticSort GodelianSentence
@jnlindsay
Jeremy Lindsay jnlindsay
BSc (Honours) in pure mathematics. Software Engineer at WiseTech Global.

WiseTech Global Sydney, NSW, Australia

@francescomacri
Francesco Macrì francescomacri
@pedrohbb
Pedro Birindiba pedrohbb

Stone Pagamentos S.A. Rio de Janeiro

@identities
identities
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@daoxian
daoxian

Beijing, China

@Zaydiscool777
zaydm Zaydiscool777
Can I please join a project

34, -84

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@ShreckYe
Yongshun Shreck Ye ShreckYe
Kotlin full stack developer, programming language theory / type theory enthusiast

Chengdu

@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@mightyiam
Shahar "Dawn" Or mightyiam
Author of the Full Time Nix podcast and open source contributor

Chiang Mai, Thailand

@exekis
Kiarash Sotoudeh exekis
CS @ University of Toronto

University of Toronto Canada

@yaanhyy
yaanhyy

Xi'an

@karlobermeyer
Karl J. Obermeyer karlobermeyer
Applied Mathematician | Software Engineer

Cyberspace

@SuccinctPaul
Paul SuccinctPaul
@nrs-status
nrs nrs-status
@SeshatCZ
SeshatCZ

Czech republic

@wujack
wujack
@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@edwardzcn-decade
Edward Zhuang edwardzcn-decade
@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@ashandoak
Ashley Blacquiere ashandoak
Sr. Ops. Manager @leanprover

@leanprover Vancouver

@bernborgess
bernborgess
@notch1p
Evan Gao notch1p
Caffeine-driven copy/paste-ing master

Shenzhen

@parsaa74
Parsa Azari parsaa74
Developer/Designer

Tehran, Iran

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@RCoeurjoly
Roland Coeurjoly RCoeurjoly
@luuvish
luuvish luuvish

Seoul, Korea

@anka-213
Andreas Källberg anka-213

Sweden

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@24kTanmay
Tanmay Roy 24kTanmay
IITK'27

Indian Institute of Technology, Kanpur Kanpur, India

@Pyxels
Jonas Pyxels
@AdamBrouwersHarries
Adam Brouwers-Harries AdamBrouwersHarries
Engineer at @mozilla working on profiling at @firefox-devtools Also interested in jazz and type theory.

@mozilla Edinburgh