Skip to content
View v217's full-sized avatar

Block or report v217

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
@barry-jay-personal
Barry Jay barry-jay-personal
I've left the university to work on my book and explore other opportunities

self-employed Sydney, Australia

@olydis
Johannes Bader olydis
Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

New York City, USA

@ghostty-org
Ghostty ghostty-org
A new terminal, started by @mitchellh 👻

United States of America

@IKEDAKAZUKI
Kazuki Ikeda IKEDAKAZUKI
Assistant Professor at University of Massachusetts Boston

UMass Boston and Stony Brook University USA

@languagetool-org
LanguageTool languagetool-org
Instant Grammar and Spell Checker
@astump
Aaron Stump astump
I am a professor of Computer Science at Boston College.

Boston College Chestnut Hill, MA

@Barry-Jay
Barry Jay Barry-Jay
Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.

Sydney, Australia