Ecosyste.ms sponsors
An open API service aggregating public data about GitHub Sponsors.
An open API service aggregating public data about GitHub Sponsors.
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
Funding Links: https://github.com/sponsors/liyishuai
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.
Monadic parser combinator library in Coq
Language: Coq - Stars: 5HTTP specification in Coq, testable and verifiable
Language: Coq - Stars: 17《软件基础》中译版 Software Foundations Chinese Translation
Language: HTML - Stars: 925Randomized Property-Based Testing Plugin for Coq
Language: Coq - Stars: 256A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Language: Coq - Stars: 129A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Language: Makefile - Stars: 6