Skip to content
View ayanamists's full-sized avatar
53 followers · 79 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.

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
@permui
Aoyang Yu permui
Senior in Computer Science, interested in programming language theory.

Zhejiang University Hangzhou, China

@berberman
Potato Hatsue berberman
CS student interested in programming languages

Gensokyo

@b-mehta
Bhavik Mehta b-mehta
PhD Mathematics student at Trinity College, Cambridge

Cambridge

@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.

Melbourne, Australia

@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@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
Postdoc at INRIA/ENS; Incoming Asst Prof at Tufts; PL/FM/Compilers

INRIA/ENS; Tufts

@mooz
Masafumi Oyamada mooz

Japan

@TechForPalestine
Tech for Palestine TechForPalestine
A loose coalition of founders, engineers, product marketers, community builders, investors, and other tech folks working towards Palestinian freedom
@NobleMajo
Majo Richter NobleMajo
software & devops engineer | fullstack, cli-tools & librarys | prefers Go & TypeScript

Hannover, GER

@AbdeenM
Abdeen Mohamed AbdeenM
Your Software & Hardware Tech Guy

Materiias d.o.o Lefkosa, Cyprus

@alsotang
alsotang alsotang
A fullstack JS programmer.

Tencent 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
@eczn
eczn* eczn
不好

<cite>也许吧</cite> 127.0.0.1

@tszhong0411
Hong tszhong0411
Self-taught Full Stack Developer

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
18 yo. Passion with EE/CS. Designing and trying to build one specific compiler. Also design circuits in SpinalHDL.

Rizhao Experimental Senior High School Shandong, China

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

Indiana University Bloomington Bloomington, IN

@tsung-ju
Tsung-Ju Chiang tsung-ju

University of Toronto Toronto

@stedolan
Stephen Dolan stedolan
@roife
roife roife
Interested in PL, Compiler, Emacs.

@pascal-lab

@OverflowCat
ᡥᠠᡳᡤᡳᠶᠠ ᡥᠠᠯᠠ·ᠨᡝᡴᠣ 猫 OverflowCat
Optoelectronics BSc / Frontend Developer / Web Archivist

Beihang University

@kmicinski
Kristopher Micinski kmicinski
Lover of lambdas.

Kris Micinski Syracuse, NY

@manateelazycat
Andy Stewart manateelazycat
Linux, Emacs开源社区从业二十余载 懒猫微服CEO， 不端不装， 仗剑走天涯 客官喜欢， 欢迎买我家的懒猫微服 https://lazycat.cloud/

http://www.linakesi.com China

@heng-zhong-2003
Nicolas H. Chung heng-zhong-2003
Senior undergraduate at Fudan Univ. dept. of CS. Interested in programming languages and computing systems. 管仲去兮九百年，樂毅沒兮四百歳，誰復知思王者治？可憐丞相病危篤！

Fudan University Brookline, Massachusetts

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@Linyxus
Yichen Xu Linyxus
PhD student @ LAMP, EPFL

Wuxi, China

@wellecks
Sean Welleck wellecks

Carnegie Mellon University Pittsburgh

@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@junrui-liu
Junrui Liu junrui-liu
@taqenoqo
たけのこ taqenoqo
💩
@diagrams
diagrams diagrams
@AllenHeartcore
Ziyuan Chen AllenHeartcore
'25 MSCS @ Columbia SEAS | '24 ECE UG @ ZJU-UIUC Institute, Haining, China

@Columbia New York, US 10027

@TodokanaiTL
Todokanai Translations TodokanaiTL
Visual Novel fan translation team
@jiry17
Ruyi Ji jiry17

Peking University Beijing, China

@DougGregor
Doug Gregor DougGregor

Apple

@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@eserie-fox
Hanwen Zheng eserie-fox
南京大学计算机硕士在读

Nanjing University Nanjing University,China

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

University of Pennsylvania Philadelphia

@t0yv0
Anton Tayanovskyy t0yv0

@Pulumi Harrisonburg, VA