Skip to content
View txa's full-sized avatar
116 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.

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
@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 in Python. Will work in @vivasoft-ltd

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
@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

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
interested in ai.

Istanbul, Turkey

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

0000:7C00

@Carnagion
Indraneel Mahendrakumar Carnagion
Recent MSci. CS with AI graduate from the University of Nottingham. Functional programmer and prog metal enjoyer.

Switzerland

@jmshrv
James Harvey jmshrv
I make Finamp, and other stuff soon™. Email is on my website.

University of Nottingham

@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
Equal parts programmer and programming educator. Proponent of functional programming and the values of type theory.

@MercuryTechnologies Toronto, Ontario

@Captainkk75
Kushik Kaushal Timilsina Captainkk75
I am interested in using ideas like Sheaves and Cohomology on Categories, but generally ideas in Topology+ Algebra+Category Theory in computation and sciences.
@zx9w
zx9w
modulo 320099330
@crosseax
Xingchen Yan crosseax
@COCACOLA1128
Xuan Huang COCACOLA1128
a computer science student. Mainly interested in federated learning in P2P environment and ensemble learning.

The University of Nottingham UK

@cmcmA20
cmcmA20
@ijula
Ionuț Jula ijula
a_n = ((-1)^(1 - n) ϕ^(-n) + ϕ^n)/sqrt(5) @fdd @ijula @ionutjula @ionut-jula Infrastructure Platform Engineer @emerson-enterprise-it

Emerson Electric Co. @emerson-enterprise-it Cluj-Napoca, Romania, Planet Earth

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University