Skip to content
View ayanamists's full-sized avatar
62 followers · 101 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@pascal-lab

Block or report ayanamists

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
@daanx
Daan daanx

US

@Aleksanaa
Aleksana Aleksanaa
很垃圾的，不要看了

UESTC Singapore

@E-A-Griffin
Emma Griffin E-A-Griffin
Interested in functional programming, compilers, interpreters.

@MercuryTechnologies Denver, Colorado

@LostAttractor
ChaosAttractor LostAttractor
Is a fragile girl, but not willingly.

Shanghai, Republic of China

@ChuyueSun
Chuyue Sun ChuyueSun

Stanford University

@zephray
Wenting Zhang zephray
Co-founder of Modos Tech Inc, open source software and hardware enthusiast, he/him, love retro computing.

Modos Tech Inc Boston, MA

@Guest0x0
Guest0x0 Guest0x0
@linyinfeng
Yinfeng linyinfeng
(LIN Yinfeng)

China

@emilazy
Emily emilazy
she/her
@keiyoushi
keiyoushi
@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@Innf107
Prophet Innf107
@doowzs
Tianyun Zhang doowzs
Coin-coin. :D

Nanjing University Xianlin District, Nanjing, Jiangsu Province, China

@jamesdbrock
James Brock jamesdbrock

@woven-by-toyota Yokohama, Japan

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China

@skangas
Stefan Kangas skangas

Gothenburg, Sweden

@juniorxxue
Xu Xue juniorxxue

@hkuplg

@EncodePanda
Pawel Szulc EncodePanda
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@Ziqi-Yang
Meow King Ziqi-Yang
A Linux and Emacs enthusiast who loves anime and cats. El Psy Congaroo. BTW, I use NixOS.

郁金香监狱

@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg Hong Kong, China

@luqui
Luke Palmer luqui

@soundradix New Orleans, LA

@permui
Aoyang Yu permui
Senior in Computer Science, interested in programming language theory.

Zhejiang University Hangzhou, China

@berberman
Potato Hatsue berberman
PhD student interested in programming languages

Gensokyo

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

London

@UlfNorell
Ulf Norell UlfNorell
@be5invis
Belleve be5invis
Maker of Text Boxes & Low-level Text Stack
@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@emina
Emina Torlak emina

University of Washington Seattle

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@kivikakk
Asherah Connor kivikakk
Systems engineer.

@GitLab Melbourne, Australia

@emilypi
Emily Pillmore emilypi
Yeehaw

Salt Lake City, Utah

@Zh40Le1ZOOB
command_block Zh40Le1ZOOB
Not a developer.
@egisatoshi
Satoshi Egi egisatoshi
The creator of the @egison programming language.

Rakuten Tokyo, Japan

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@mooz
Masafumi Oyamada mooz

Japan

@TechForPalestine
Tech for Palestine TechForPalestine
A coalition of founders, engineers, product marketers, community builders, investors, and other tech folks working towards Palestinian freedom

United States of America

@NobleMajo
Majo Richter NobleMajo
🩵Go & 🤍Bun+💙TypeScript | software & devops engineer | web, cli, automations

Hannover, GER

@AbdeenM
Abdeen Mohamed AbdeenM
Your Software & Hardware Tech Guy

Materiias d.o.o Lefkosa, Cyprus

@alsotang
alsotang alsotang
A fullstack JS programmer.

ShenZhen, China

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@wodeni
Wode "Nimo" Ni wodeni
arranging blobs in @penrose and @brilliantorg
@alissa-tung
Alissa Tung alissa-tung

The Chinese University of Hong Kong, Shenzhen

@eczn
eczn* eczn
https://eczn.github.io

<cite>也许吧</cite> 127.0.0.1

@nelsonlaidev
Nelson Lai nelsonlaidev
full stack engineer

Hong Kong

@USC-Fall-2024-Math-587
Introduction to Cryptography USC-Fall-2024-Math-587
Course materials for Fall 2024 CSCE 557/Math 587 at the University of South Carolina.

United States of America

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@jellyterra
Jelly Terra jellyterra

Sein und Zeit

@river-li
Zichuan Li river-li
Ph.D. student at UIUC, focused on computer system security.

University of Illinois Urbana-Champaign Champaign, IL