Skip to content
View liyishuai's full-sized avatar
🐔
I program with Coq !
🐔
I program with Coq !
256 followers · 164 following

Sponsors

@sparanoid

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@rocq-prover @plclub @rocq-community @ocaml-community

Block or report liyishuai

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@MilleniumSpark
MilleniumSpark
@sszulyadaini
Sulaiman Salihu Zulyadaini sszulyadaini
Founder & CEO – S S ZULYADAINI TECHNOVA LTD | Business Relationship Manager @Moniepoint | Web3 Innovator | @uopeople Campus Ambassador | Techpreneur | Investor

S S ZULYADAINI TECHNOVA LTD Bauchi State

@AgenticWeb4
Agentic AI Labs AgenticWeb4
Architect your AI strategy
@S4IL21
S4IL S4IL21
Code. Learn. Repeat. 🧑‍💻

Tatom [Owner] Barcelona, Spain

@PhysShell
PhysShell
@maozhy3
maozhy3
@twliau
Tzung-Wen Liau twliau
A Cloud Architect

Taiwan

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@syedbilalalam1
Syed Bilal Alam syedbilalalam1
git commits to me.

BTT - intl Karachi

@Shawnxm
Xumiao Zhang Shawnxm
UMich CSE PhD

Alibaba Cloud

@0xYuub
Chkopi 0xYuub
@YUE-TAN2019
YUE-TAN2019
@WenyaZhou
Jacqueline WenyaZhou

Shanghai

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@InfiniteEchoes
GY InfiniteEchoes
@AntonXue
Anton Xue AntonXue
@Ehco111
Aria Huang Ehco111
Ehco
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@duyu09
DU Yu duyu09
DU Yu (杜宇; ĐỖ Vũ), B.Eng. in Software Engineering, QLU; M.Eng. candidate in Computer Science & Technology, LZJTU. Research focus: TSF / ML / Data Mining / NLP.

Lanzhou Jiaotong University / Qilu University of Technology (蘭州交通大學/齊魯工業大學; ĐH Giao Thông Lan Châu / ĐH Công Nghiệp Tề Lỗ) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)

@jackson951
Jackson Khuto jackson951
Software Developer|Systems Analyst

Pretoria

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@dalps
dalps

Snaktooth Island

@JChew7568
Justin En Hian, Chew JChew7568
Student currently studying Computer Science in Nanjing University
@liweitianux
Weitian LI liweitianux
The journey is long, but I shall search high and low.

Shanghai, China

@sun-jacobi
Chia Sun sun-jacobi
@jf-li00
Jiefeng Li jf-li00

Huazhong University Of Science and Technology Wuhan, Hubei, China

@celeron533
Allen Zhu celeron533
Medical Software

Shanghai, China

@auravan
auravan auravan
Used to be an intern at @DataMini . Now unemployed:-(

HangZhou

@ericwang385
eric wang ericwang385

Gothenburg, Sweden

@kbridge
kq kbridge
Fullstack developer. I star things every day.

Sunnydale

@lzy0505
Zongyuan Liu lzy0505
Post Doc in formal verification of software @ Aarhus University

@logsem Aarhus

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@peijunz
Peijun Zhu peijunz
Robotics

AppLovin

@Laplace-Demon
Zhicheng Laplace-Demon
The road of computer science has been uneasy, luckily you are with me.

Paris

@Ryvian
Zy Zhang Ryvian
@Neal12332
Neal Neal12332
大模型猎头阿林，专注以下方向： 1、大模型预训练/对齐算法 2、多模态算法专家（图文/音视频） 3、Agent智能体算法 4、大模型效率优化 5、AI Infra-训练推理、算子优化 ——Former CGL, Zhejiang Lab WeChat：nl13805799348

之江实验室 Hangzhou

@Zhang-Liao
Zhang-Liao Zhang-Liao
@liuly0322
liuly liuly0322
愛の形骸 追う絵 覆う手を

University of Science and Technology of China Beijing, China

@penny777eth
Penny777 penny777eth
@xulunfan
Xu xulunfan
Curiosity, Concentration and Patience
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@u8cat
Zichen Zhang u8cat
CS PhD Student at Courant, NYU

CIMS, New York University New York, NY, United States

@Lslightly
Qingwei Li Lslightly
laziness overflow but struggle to work hard and discover something interesting in life.

University of Science and Technology of China Hefei, Anhui, China

@amirahmadi1987
amir amirahmadi1987
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@yqyq-w
yqyq-w
PL+Systems