Skip to content
View slemus9's full-sized avatar
13 followers · 30 following
  • Xebia
  • Bogotá, Colombia

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report slemus9

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
@danielri1011101
Daniel Ricardo Barrero Rosero danielri1011101
PhD student and member of @FLAGlab at Universidad de los Andes
@BalmungSan
Luis Miguel Mejía Suárez BalmungSan
Software developer graduated from the Universidad EAFIT (Medellín, Colombia), currently works for Xebia Functional. Scala lover!

@47deg Medellin, Colombia

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@Little-Languages
ℓittle Languages Little-Languages
A community that's building little languages that are composable and multi-modal.
@bugarela
Gabriela Moreira bugarela
Building Quint at @informalsystems

@informalsystems Joinville, SC - Brazil

@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

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

University of Cambridge Cambridge, Cambridgeshire, UK

@lardapide
Lardapide lardapide
Semanticist

Federal University of São Carlos Brazil

@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@nicolasstucki
Nicolas Stucki nicolasstucki

LAMP / EPFL Switzerland

@kasiaMarek
Katarzyna Marek kasiaMarek
@dotoverline
Leo dotoverline

Bogotá. Colombia

@Masanar
Mateo Sanabria Ardila Masanar
Mathematician (maybe), Teacher (perhaps), Computer Scientist in Training (feasibly)

Universidad de los Andes Bogotá, Colombia.

@yuri4n
Bryan Julian Garzon yuri4n
I don't even know what I like at this point

EPAM Systems Bogotá D.C., Colombia

@ngaitan55
ngaitan55
@Gabriella439
gabby Gabriella439

San Jose, CA

@af-orozcog
Andres af-orozcog
Computer engineering student. Passionate about competitive programming, data structures and algorithms
@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@ncardozo
Nicolas Cardozo ncardozo
Associate Professor and PI of @FLAGlab at Universidad de los Andes

Universidad de los Andes Colombia

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@ggonzr
Geovanny González ggonzr

CERN Geneva, Switzerland

@carlosinfante98
Carlos Infante carlosinfante98
I love programming!

Microsoft Bogotá, Colombia

@marshvee
Mariana Rodríguez marshvee

Bogota, Colombia

@jpcorreap
Juan Pablo Correa jpcorreap

Monterrey, N.L.

@theluckyauthor
Daniel Felipe Serrano theluckyauthor
I am a lucky person that loves to learn.
@clemus90
Christian Lemus clemus90