Skip to content
View txa's full-sized avatar
121 followers · 3 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report txa

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
@AyUpItsAli
Ali AyUpItsAli
Game Dev, Minecraft Modding, Web Dev and more.

England, UK

@cdo256
Christina O'Donnell cdo256
Computer science PhD candidate at the University of Nottingham.

Cambridge, England

@wrsturgeon
Will Sturgeon wrsturgeon

San Francisco

@hargup
Harsh Gupta hargup
@encosllo
Enric Cosme Llópez encosllo

València

@oliversoeser
Oliver Soeser oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.

Edinburgh, Scotland

@GodelianSentence
AnalyticSort GodelianSentence
Formal methods enthusiast and wannabe logician.
@osvaldoPBento
Osvaldo osvaldoPBento
Student
@xbreu
Alexandre Abreu xbreu
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@eurisko-info-lab
eurisko-info-lab
@logicshan
logicshan
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@jiangsy
Shengyi Jiang jiangsy
@nmvdw
Niels van der Weide nmvdw
@gustavovzqz
Gustavo Vazquez gustavovzqz

Universidade Federal do Ceará Brazil

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

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

Denver, CO

@JanetYin
Zhenyun Yin JanetYin
@HeshanDu
HeshanDu
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@9glenda
9glenda 9glenda
@SEIAROTg
Archimedes Smith SEIAROTg

London, UK

@jul1u5
Julius Marozas jul1u5
PhD @ Chalmers

Chalmers University of Technology Sweden/Lithuania

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

@huanshankeji Chengdu

@maciej-bendkowski
Maciej Bendkowski maciej-bendkowski
Ph.D. in Theoretical Computer Science

Kraków, Poland

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@beike-zh
beike-zh
@cyberbeaver
cyberbeaver
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@collisionattack
mertdurgun collisionattack

Istanbul, Turkey

@ezequielwixsas
ezequielwixsas
@RIvance
std::_Rb_tree RIvance
PhD candidate at @hkuplg

0000:7C00

@Carnagion
Indraneel Mahendrakumar Carnagion
Data engineer and recent MSci. CS with AI graduate from the University of Nottingham.

Zurich

@UnicornsOnLSD
James Harvey UnicornsOnLSD
I made Finamp, and other stuff soon™. Email: james@jmshrv.com

Undo

@TomasCastroRojas
Tomas Castro Rojas TomasCastroRojas
Estudiante de 5to Año en Licenciatura en Ciencia de la Computacion - FCEIA - UNR

Rosario-Argentina

@pabloantuna
Pablo Antuña pabloantuna
Técnico en Informática. Estudiante de Licenciatura en Ciencias de la Computación - UNR
@Steven1677
Quanwen Chen Steven1677
Pastafarian

UK

@markus-heinrich
markus-heinrich
@awesomeman1234324
Awesome Man awesomeman1234324
@SlimTim10
Tim Johns SlimTim10

Toronto, Ontario

@Captainkk75
Kushik Kaushal Timilsina Captainkk75
@zx9w
zx9w
modulo 320099330
@crosseax
Xingchen Yan crosseax