Skip to content
View kxhxn's full-sized avatar

Block or report kxhxn

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
@gallais
G. Allais gallais

Glasgow, Scotland

@algebraic-dev
Sofia Rodrigues algebraic-dev
I work for @leanprover, I love this language :P
@enzuru
enzu.ru enzuru
hacktivist & strannik

Manhattan, NYC

@tonyalaribe
Anthony Alaribe tonyalaribe
I learn, I build, I teach

Nigeria

@lamarrr
Basit Ayantunde lamarrr

Reading, United Kingdom

@influx6
Ewetumo Alexander influx6
Christian, Polyglot Developer (Go, Ruby, C#, JS, Python, Dart, Flutter), Husband and Dad!

@Ewe-Studios Lagos, Nigeria

@umegbewe
Great umegbewe
infra and kernel stuff

Gala Games Port Harcourt, Nigeria

@adelowo
Lanre Adelowo adelowo
software writer

Lagos, Nigeria

@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

@githwxi
Hongwei Xi githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

ATS Trustful Software, Inc. Boston, Massachusetts

@mio-19
mio-19
There is nothing here

Auckland, Aotearoa New Zealand

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

肥宅行为模式科学研究院 | 清芷大学 (TsingChih University) 世界轴 / The Axis

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

Gensokyo

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@srush
Sasha Rush srush
Cornell Tech / Hugging Face

Cornell New York

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@PKUFlyingPig
Yinmin Zhong PKUFlyingPig
CS Ph.D @ PKU; Machine Learning Systems; Distributed Systems;

Peking University Beijing, China

@vEnhance
Evan Chen vEnhance
Math olympiad coach and writer of spaghetti code

Boston, MA

@mk-milly02
Jonas Ababio mk-milly02
.NET/C# Developer, Network Engineer, Gopher

Accra, Ghana

@topboyasante
Nana K. topboyasante
Engineering

knust.edu.gh Accra, Ghana

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

University of Cambridge Cambridge, Cambridgeshire, UK

@guenchi
guenchi
Linguist who do not want to be a hacker is not a good novelist. Novelist, Poet, Linguist, Phonetician, CreateLanguageExpert, NLP Expert, Entrepreneur, Gourmet

Paris, France

@kafuikumah
Kafui Kumah kafuikumah
Trying to make it to the next sprint

ACC | GHA