Skip to content
View IFEIFEI's full-sized avatar
5 followers · 12 following

Block or report IFEIFEI

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
@riscv
RISC-V riscv
The Open-Standard Instruction Set Architecture

Zurich, CH

@inQWIRE
INQWIRE inQWIRE
Verified Software for the Computers of Tomorrow
@overshiki
overshiki
A Bayesian and Haskeller into Quantum Computing

Shanghai

@stone-zeng
Xiangdong Zeng stone-zeng

Shanghai, China

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@aya-prover
The Aya Theorem Prover aya-prover
@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@wangyinghotaru
Jenny wangyinghotaru
@CharlesNord
CharlesNord CharlesNord
@ocharles
Ollie Charles ocharles

CircuitHub London

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@chenup
LiangQiang Chen chenup
趣味でヒーローにやってものだ。 秃った、でも强くなった

NJU NanJing JiangSu