liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
Funding Links: https://github.com/sponsors/liyishuai
- Name: Yishuai Li
- Location: Shanghai Xuhui
- Company: @Alibaba
- Kind: user
- Followers: 247
- Following: 162
- Total stars: 55
- Repositories count: 130
- Created at: 2022-11-14T05:07:23.964Z
- Updated at: 2025-03-27T19:43:20.679Z
- Last synced at: 2025-03-27T19:43:20.679Z
GitHub Sponsors Profile
I lead the Chinese translation of Software Foundations, and maintain Coq libraries actively.
Please inform me if your sponsorship is dedicated to the SF-zh project.
I will distribute that part among translators.
- Current Sponsors: 1
- Past Sponsors: 2
- Total Sponsors: 3
- Minimum Sponsorship: $1.00
Featured Works
liyishuai/coq-parsec
Monadic parser combinator library in Coq
Language: Coq - Stars: 5liyishuai/coq-http
HTTP specification in Coq, testable and verifiable
Language: Coq - Stars: 17Coq-zh/SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
Language: HTML - Stars: 934QuickChick/QuickChick
Randomized Property-Based Testing Plugin for Coq
Language: Coq - Stars: 264rocq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Language: Coq - Stars: 130rocq-community/reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Language: Makefile - Stars: 6Active Sponsors
sparanoid
Past Sponsors
Sponsor Breakdown
- User: 1