8000 ayanamists (LI CHENXI) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ayanamists's full-sized avatar
56 followers · 92 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
@daanx
Daan daanx

US

@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

@xc-jp Yokohama, Japan

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China

@skangas
Stefan Kangas skangas

Gothenburg, Sweden

@juniorxxue
Xu Xue juniorxxue

University of Hong Kong

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

Beijing University of Technology China

@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

Gensokyo

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

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
Talya Connor kivikakk
Systems engineer.

Melbourne, Australia

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

@kadena-io 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
Postdoc at INRIA/ENS; Incoming assistant prof at Tufts; PL/FM/Compilers

INRIA/ENS; Tufts

@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
software & devops engineer | fullstack, cli-tools & librarys | prefers 🩵Go & 🤍Bun+💙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

Peking University

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

<cite>也许吧</cite> 127.0.0.1

@tszhong0411
Nelson Lai tszhong0411
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
Focus & mix on computer architecture, formal verification, compiler and HLS synthesizer. Qed.

Gensokyo 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 and Compiler.

@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
Incoming PhD student at University of Illinois, Urbana-Champaign. Research interest in programming languages, especially tensor compiler verification. 文武不歧

University of Illinois Urbana, IL

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@Linyxus
Yichen Xu Linyxus
PhD student @ LAMP, EPFL

Wuxi, China

0