Skip to content
View taimoorzaeem's full-sized avatar
🌈
flying colors
🌈
flying colors
18 followers · 28 following
  • 11:06 (UTC +05:00)

Sponsoring

@racket

Achievements

Achievement: Galaxy BrainAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Achievements

Achievement: Galaxy BrainAchievement: Public SponsorAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Block or report taimoorzaeem

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
@laurenceisla
Laurence Isla laurenceisla
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@jbclements
John Clements jbclements

Cal Poly San Luis Obispo

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

University of Pennsylvania Philadelphia

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@Syed-Mujtaba
Syed-Mujtaba
@Waleed-abdullah
Muhammad Waleed Abdullah Waleed-abdullah
npx Waleed-Abdullah

Pakistan

@lenary
Sam Elliott lenary
Compiler Engineer

@qualcomm

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@nektro
Meghan Denny nektro
28. Local trans witch who prefers to do her magic with a keyboard. she/her.

@oven-sh San Francisco, CA, USA

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of animals. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@muhd-umer
Muhammad Umer muhd-umer
Interested in the confluence of AI and wireless technologies

PhD at Stanford University Pakistan

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@TeofilC
Teo Camarasu TeofilC

Leeds, UK

@michaelpj
Michael Peyton Jones michaelpj

CircuitHub London

@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@NoumanAmir657
Nouman Amir NoumanAmir657

@10x-Engineers Islamabad, Pakistan

@valkrypton
Ali Tariq valkrypton

@arbisoft Islamabad, Pakistan

@aznszn
Azan Ali aznszn
yuh

@Arbisoft

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@steve-chavez
Steve Chavez steve-chavez

UTC-5

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@ezyang
Edward Z. Yang ezyang

New York, NY

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

Brazil

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@jackfirth
Jacqueline Firth jackfirth

@google Sunnyvale, CA