Skip to content
View umazalakain's full-sized avatar
111 followers · 5 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@GISAElkartea @labkaxita @SU-LOSP

Block or report umazalakain

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
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@mstewartgallus
Ms. Molly Stewart-Gallus mstewartgallus

Vancouver, BC, Canada

@rcdmrl
rcdmrl
@vic
Victor Borja vic
Code Suprematism.

Software Villain Mexico City

@lemastero
Piotr Paradziński lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants

Lublin

@pnlph
herminie pnlph
Learning @agda

Leipzig

@MilleniumSpark
MilleniumSpark
@JohnBortotti
Joao Bortotti JohnBortotti
@share21106
Share share21106

Novi Sad, Vojvodina, Serbia

@mehchaela
Michaela mehchaela
@cupidarrow0417
cupidarrow0417 cupidarrow0417
full stack developer
@toum120
Follow自动机 toum120
@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@lorenzleutgeb
Lorenz Leutgeb lorenzleutgeb

Max Planck Institute for Informatics European Union

@ZhangmingWei1994
james watson ZhangmingWei1994
thousand days

shenzhen people's hospital shenzhen

@frankfanslc
frankfanslc frankfanslc

Fatpipe Networks Salt Lake City, UT

@kasozivincent
Kasozi Vincent kasozivincent
I love experimenting with both OO and functional languages. Currently hacking Scala.

Chlef University Chlef-Algeria

@idaejin
Dae-Jin Lee idaejin
I'm a researcher and professor (tenure-track) at IE University, School of Science and Technology.

IE University Madrid

@AlexOlza
Alexander AlexOlza
PhD student @ UPV/EHU and BCBL
@guilhermehas
Guilherme Silva guilhermehas

Chalmers

@Moshe-Malka
moshe malka Moshe-Malka
I ❤️️ Python

israel

@Chobbes
Calvin Beck Chobbes

Philadelphia

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@isubasinghe
Isitha Subasinghe isubasinghe
Programmer pretending to be a computer scientist. Senior Engineer @pipekit

@pipekit Melbourne

@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@webpointdev
New Dragon Warrior webpointdev
Professional Blockchain and Full-Stack Developer. Rich experience in Blockchain and Full-Stack Development. Good communication and Satisfied. 100% completed.
@patacca
Riccardo Mori patacca
@jeudicode
Diego Isla López jeudicode
Any pronouns. Onlooker on the dance floor. CS and Mathematics student.

Morelia, MX

@0x0f0f0f
Alessandro Cheli 0x0f0f0f
R&D Scientist, building @plantingspace. I focus on category theory, functional programming, symbolics, and programming language theory

@PlantingSpace Italy

@mwaiton
Ndolo mwaiton
Electronic & Communication Engineer and AI/ML Enthusiast.

Mwaiton Consultancy Services/KTÜ/AGH UST/MksU MLD/TRX/KRAK

@Patsonical
Patryk Kaczmarczyk Patsonical
@cmcmA20
cmcmA20
@zeeshanlakhani
Zeeshan Lakhani zeeshanlakhani
@papers-we-love / pwlconf founder/org. | @oxidecomputer eng | @cmuscs (CMU) PhD in PLT, prev~@fission-codes, @Comcast, @basho, @arc90, @NYPL (labs)

Papers We Love | Oxide Computer Company | CMU Pittsburgh, PA

@mycroft92
Madhukar Yerraguntla mycroft92
Electrical engineer by profession, now also a part-time PhD student at IIT delhi.
@fvrmatteo
Matteo fvrmatteo
@n-osborne
Nicolas Osborne n-osborne
Software Engineer at Tarides. PhD in Philosophy. Hitchhiker of the Universe of Discourse.

@tarides Lille, France

@kocheko
kocheko kocheko
i repair cellphones
@amir
Amir M. Saeid amir

Dublin, Ireland

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Butter934
Butter934
@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

INRIA/ENS; Tufts

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@nikitavoloboev
Nikita nikitavoloboev
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@djanatyn
Jonathan Strickland djanatyn
very curious, trying to grow. into haskell, rust, lisp, and nix

mercury.com Pittsburgh, PA

@kumavis
kumavis kumavis

@MetaMask islands of breath

@berdario
berdario
@herulume
Eduardo Jorge herulume
Interested in functional programming and formal methods.

Portugal

@dreday966
dreday dreday966
Code for living, code for thinking

Shanghai