liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
@AlibabaShanghai
Pinned Repositories
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
bsde
Option pricing with BSDE and Monte Carlo method
coq-http
HTTP specification in Coq, testable and verifiable
coq-http2
coq-parsec
Monadic parser combinator library in Coq
file-sync
File synchroniser specification in Coq
kejihanyu
科技汉语:给科学技术从业者的写作建议 Chinese Writing for Scientists
taas-experiment
coq-simple-io
IO for Gallina
QuickChick
Randomized Property-Based Testing Plugin for Coq
liyishuai's Repositories
liyishuai/coq-parsec
Monadic parser combinator library in Coq
liyishuai/taas-experiment
liyishuai/coq-json
JSON in Coq
liyishuai/actions-comment-pull-request
GitHub action to comment pull request
liyishuai/biliml
liyishuai/certicoq
A Verified Compiler for Gallina, Written in Gallina
liyishuai/chinese-copywriting-guidelines
Chinese copywriting guidelines for better written communication/中文文案排版指北
liyishuai/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
liyishuai/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
liyishuai/github-readme-stats
:zap: Dynamically generated stats for your github readmes
liyishuai/GitHubGraduation-2022
Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
liyishuai/go-getting-started
Getting Started with Go on Heroku https://devcenter.heroku.com/articles/getting-started-with-go
liyishuai/gswap
交易所
liyishuai/heti
赫蹏(hètí)是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来,可以为网站的读者带来更好的文章阅读体验。
liyishuai/HTML5_Genetic_Cars
A genetic algorithm car evolver in HTML5 canvas.
liyishuai/ieaseMusic
网易云音乐第三方
liyishuai/lambda-term
Terminal manipulation library for OCaml
liyishuai/liyishuai
I'm an amateur musician who occasionally codes.
liyishuai/mahjong
liyishuai/ocaml-linenoise
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
liyishuai/opam
Archive for all Coq related OPAM packages organized in various repositories
liyishuai/paco
A Coq library for parametric coinduction
liyishuai/QuickChick
Randomized Property-Based Testing Plugin for Coq
liyishuai/RSSHub
🍰 Everything is RSSible
liyishuai/serverchan
liyishuai/sf
liyishuai/singa
a distributed deep learning platform
liyishuai/unison
Unison file synchronizer
liyishuai/uwt
libuv bindings for OCaml
liyishuai/vscode-ycy
超越鼓励师 for VS Code