Skip to content
View alhassy's full-sized avatar
257 followers · 126 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Block or report alhassy

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
@florian-rabe
Florian Rabe florian-rabe
I'm a researcher on formal languages and knowledge representation. On GitHub, I am the main person behind @UniFormal and active in @KWARC and @OpenDreamKit

@KWARC Universities Erlangen-Nuremberg and Paris-Sud

@tanyabouman
Tanya Bouman tanyabouman
ex-@tweag, M.Sc. Computer Science

Hamilton, ON

@0xicingdeath
0xicingdeath 0xicingdeath
blockchain nerd
@Sujan-Kandeepan
Sujan Kandeepan Sujan-Kandeepan
CS graduate from McMaster with a passion for teaching and mentoring, experienced with back-end, mobile and full-stack web development

Brampton, ON

@alberdingk-thijm
Tim Alberdingk Thijm alberdingk-thijm

@PrincetonUniversity

@WyattWismer
Wyatt Wismer WyattWismer
Passionate about cryptography, fractals, machine learning, WebSockets and everything in between.
@yohanyee
Yohan Yee yohanyee
Postdoc at @CoBrALab , McGill University, working on brain imaging things...or something along those lines.

McGill University Montreal

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@AllanBlanchard
Allan Blanchard AllanBlanchard
@jpvillaisaza
Juan Pedro Villa Isaza jpvillaisaza
Software developer passionate about functional programming (whatever that means)

@stackbuilders El Retiro, Colombia

@danoneata
Dan Oneață danoneata

Romania

@CSchank
Christopher William Schankula CSchank
A Software Engineering & Society student and research assistant at McMaster University. I love data, learning and empowering others through technology.
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@DONGChuan
DONG DONGChuan
精于心 简于形

NasDuck Hangzhou, China

@sophiatao
Sophia Tao sophiatao
@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@liamoc
Liam O'Connor liamoc
Senior Lecturer

Australian National University Canberra

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@Chobbes
Calvin Beck Chobbes

Philadelphia

@UlfNorell
Ulf Norell UlfNorell
@bitonic
Francesco Mazzoli bitonic

London

@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@emish
Mishal Awadah emish
@WolframKahl
Wolfram Kahl WolframKahl

McMaster University Hamilton, Ontario, Canada