Skip to content
View jaalonso's full-sized avatar
189 followers · 415 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report jaalonso

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
@mckoen
Jack McKoen mckoen

University of Alberta

@tusharad
Tushar Adhatrao tusharad
Haskell Dev

G10X Pune, India

@mrigankpawagi
Mrigank Pawagi mrigankpawagi
I didn't test my software. Now it tests my patience.

Indian Institute of Science Bengaluru, Karnataka, India

@kevinsullivan
Kevin Sullivan kevinsullivan
@smorel394
smorel394
@encosllo
Enric Cosme Llópez encosllo

València

@Shinmera
Yukari Hafner Shinmera
I draw and publish software. Wow!

@Shirakumo Zürich, Switzerland

@albertolerda
Alberto Lerda albertolerda
DevOps Engineer @swisscom. Open Source enthusiast.

Swisscom

@Dimercel
Dimercel

Russia

@sjl
Steve Losh sjl
Move slow and make things.

Ann Arbor, MI

@glams-lean-2024
Formalising mathematics in Lean (2024) glams-lean-2024
GlaMS 2024 course on formalising mathematics in Lean.
@leanprover-community-bot
leanprover-community-bot
@hhu-adam
HHU Adam Project hhu-adam
ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.

Germany

@andreadlm
Andrea Delmastro andreadlm

Reply Cuneo, Italy

@skamper1
Sam Kamperis skamper1
Senior Lecturer at Oxford Brookes University

Oxford Brookes University Oxford

@gsierra99
Gabriel Sierra Gallego gsierra99
Estudiante de matemáticas con intereses en representación de conocimiento, fundamentos de las matemáticas, razonamiento automático e inteligencia artificial

Universidad de Sevilla Sevilla

@zeramorphic
Sky Wilshaw zeramorphic
PhD student at Nottingham, researching semantics of memory safety and borrowing.

Cambridge, UK

@staroperator
staroperator
@enricozb
Enrico Borba enricozb
@XavierXarles
Xavier Xarles XavierXarles

Universitat Autònoma de Barcelona Bellaterra, Catalunya

@miguelmarco
miguelmarco
@gaetanserre
Gaëtan Serré gaetanserre
PhD Student in applied mathematics

Centre Borelli, ENS Paris-Saclay Gif-Sur-Yvette

@ljtc
Luis ljtc
Matemático de la UNAM. Mi interés principal es la teoría de categorías y específicamente la teoría de topos y cohesión axiomática

Ciudad de México

@nilehmann
Nico Lehmann nilehmann

University of California, San Diego San Diego, CA

@sakekasi
Saketh Kasibatla sakekasi
@rkthomps
Kyle Thompson rkthomps
@romasoletskyi
Roman Soletskyi romasoletskyi
Mistral AI, ENS

Paris, France

@vihdzp
Violeta Hernández vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.

Guanajuato, Mexico

@medovina
Adam Dingle medovina

Faculty of Mathematics and Physics, Charles University Prague, Czech Republic

@RemyDegenne
Rémy Degenne RemyDegenne

Inria Lille

@C-h-r-i-s-x
Christopher Schmidt C-h-r-i-s-x

Secunet Germany

@nick-kuhn
nick-kuhn
@ianjauslin-rutgers
Ian Jauslin ianjauslin-rutgers
@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@marcusrossel
Marcus Rossel marcusrossel

Barkhausen Institut Dresden, Germany

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@tobiasgrosser
Tobias Grosser tobiasgrosser

University of Cambridge Cambridge

@Garmelon
Garmelon
@DanielFabian
Daniel Fabian DanielFabian

Microsoft Bern

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Applied Scientist at Amazon Portland, OR

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@Vtec234
Wojciech Nawrocki Vtec234

Pittsburgh, USA

@soonhokong
Soonho Kong soonhokong

Amazon Web Services

@tydeu
Mac Malone tydeu

Lean FRO United States

@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@mhuisi
Marc Huisinga mhuisi

Lean FRO Munich, Germany

@Rastrian
Luis Vaz Rastrian
I write code and sometimes talk about audio and music.

@cloudwalk (x, y, z) ↦ x*x + y*y + z*z

@TwoFX
Markus Himmel TwoFX
I used to work in an office

Lean FRO Karlsruhe, Germany

@Zegeri
Diego Pedraza Zegeri
@chemacortes
Chema Cortés chemacortes
Programmer: an artist who can see formal patterns inside a model and has the ability to make a new order with them.

DGA Zaragoza, Spain