Skip to content
View brendanzab's full-sized avatar
πŸ˜΅β€πŸ’«
writing elaborators
πŸ˜΅β€πŸ’«
writing elaborators

Sponsoring

@servo

Organizations

@yeslogic @PistonDevelopers @gluon-lang @proglangdesign @pikelet-lang

Block or report brendanzab

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 250 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
@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@hayleigh-dot-dev
Hayleigh Thompson hayleigh-dot-dev
Hi, I'm Hayleigh! Building an isomorphic web framework @lustre-labs, doing core team shit at @gleam-lang, consulting at ????
@igstan
IonuΘ› G. Stan igstan

Eloquentix Bucharest, Romania

@dherman
Dave Herman dherman
I like computers and people. I’ve spent my career helping people express their thoughts through the code they write and the tools they use to write it.

LinkedIn San Francisco, CA

@MatthewFluet
Matthew Fluet MatthewFluet
Associate Professor; Dept. of Computer Science; Rochester Institute of Technology

Rochester Institute of Technology Rochester, NY

@dmacqueen
David MacQueen dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.

University of Chicago Los Gatos, CA

@Zdancewic
Steve Zdancewic Zdancewic

University of Pennsylvania United States

@nrioux
Nick Rioux nrioux

University of Pennsylvania Philadelphia

@justinlubin
Justin Lubin justinlubin
Co-designing programming systems with domain experts

University of California, Berkeley

@mcclure
mcclure
An index of my projects is below:
@abuseofnotation
<> abuseofnotation

@sofia-municipality Sofia, Bulgaria

@yaxu
Alex McLean yaxu
Para-academic research fellow as part of non-profit Then Try This

Then Try This Sheffield, UK

@Kmeakin
Karl Meakin Kmeakin

@ARM-software Cambridge, United Kingdom

@saharan
saharan saharan
a software engineer in Japan. sometimes making fun stuff at oimo.io
@isubasinghe
Isitha Subasinghe isubasinghe
Programmer pretending to be a computer scientist. Senior Engineer @pipekit

@pipekit Melbourne

@taybenlor
Ben Taylor taybenlor
Developer / Designer / Educator who ❀️ EdTech

Stile Education Melbourne, Australia

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic. Open to work.

Independent Denmark

@dm0n3y
David Moon dm0n3y
CS PhD student at UMich

@hazelgrove @fplab Ann Arbor, MI

@jiribenes
JiΕ™Γ­ BeneΕ‘ jiribenes
PhD student at @se-tuebingen. Interested in effect and coeffect systems.

University of TΓΌbingen, @se-tuebingen TΓΌbingen, Germany

@liamoc
Liam O'Connor liamoc
Senior Lecturer

Australian National University Canberra

@ZhuoZoeyChen
Zhuo (Zoey) Chen ZhuoZoeyChen
theoretical compsci dreamer

University of Melbourne

@sophiajt
Sophia J. Turner sophiajt
Previously: @nushell / @rust-lang / TypeScript core team.

Australia

@emberian
emberian
a rustacean! a resident of lunar.town

USA

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@eddyb
Eduard-Mihai Burtescu eddyb
@Rust-GPU compiler R&D at @vectorware-inc (previously: @rust-lang compiler team)

Bucharest, Romania

@the-moonwitch
ines the-moonwitch
πŸ‘¨πŸ»β€πŸ’» Pro-skub Linux & Python evangelist, working on no less than four projects at any given time.

WrocΕ‚aw, Poland

@jart
Justine Tunney jart

Google Mountain View, CA

@nrc
Nick Cameron nrc
Formerly Rust at @microsoft, @rust-lang core team, @pingcap, @mozilla.

Wellington, NZ

@iximeow
iximeow iximeow
computers enthusiast

Company Location