Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View alyxshang's full-sized avatar
🖤
🖤

Block or report alyxshang

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
@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@sodiboo
sodiboo
nixos and rust and wayland // previously: .NET bullshit and Unity modding

Sweden

@tiny-bow
Tiny Bow tiny-bow
Home of the Ribbon programming language and realtime software engine

United States of America

@Cerceis
Cerceis Cerceis
(。・ω・。)

Japan

@NTBBloodbath
Alejandro NTBBloodbath
Linux enthusiast, full-stack web developer, and Neovim adept.

Caracas, Venezuela

@noxabellus
nox noxabellus
functional & systems programmer, type theory meddler, language designer, game developer, technical artist. spending most of my time over at @tiny-bow

@aguluman
Chukwuma Akunyili aguluman
Decisions are Temporary. Valar Morghoulis

Lagos, Nigeria

@oscarotero
Óscar Otero oscarotero
Web designer and developer 🦄

Galicia