Skip to content
View thealmarty's full-sized avatar

Organizations

@lita-xyz

Block or report thealmarty

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
@mshockwave
Min-Yih Hsu mshockwave
Compiler Plumber @ SiFive

SiFive California, United States

@asb
Alex Bradbury asb

@Igalia @muxup Cambridge, UK

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

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

@Cap3 Germany, Kiel

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-io New York, NY, USA

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

University of Pennsylvania Philadelphia