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]
Language:Coq123 18 5745
bsde
Option pricing with BSDE and Monte Carlo method
Language:C++3 4 00
coq-http
HTTP specification in Coq, testable and verifiable
Language:Coq13 4 31
coq-http2
Language:Coq4 7 90
coq-parsec
Monadic parser combinator library in Coq
Language:Makefile4 3 02
cps
Conversion from System T to continuation-passing style (CPS)
Language:Coq3 3 00
file-sync
File synchroniser specification in Coq
Language:Coq3 3 00
kejihanyu
科技汉语：给科学技术从业者的写作建议 Chinese Writing for Scientists
5 4 00
coq-simple-io
IO for Gallina
Language:Coq28 4 254
QuickChick
Randomized Property-Based Testing Plugin for Coq
Language:Coq242 17 17346

liyishuai's Repositories

liyishuai/coq-parsec
Monadic parser combinator library in Coq
Language:Makefile4 3 02
liyishuai/taas-experiment
Language:Go3 1 0
liyishuai/coq-json
JSON in Coq
Language:Coq1 3 42
liyishuai/metacoq
Metaprogramming in Coq
Language:Coq1 1 0
liyishuai/actions-comment-pull-request
GitHub action to comment pull request
Language:JavaScript2 0
liyishuai/certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:Coq1 01
liyishuai/chinese-copywriting-guidelines
Chinese copywriting guidelines for better written communication／中文文案排版指北
2 0
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.
Language:OCaml2 01
liyishuai/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
Language:Coq1 01
liyishuai/coq-simple-io
IO for Gallina
Language:Coq1 0
liyishuai/FreeSpec
A framework for implementing and certifying impure computations in Coq
Language:Coq2 0
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.
Language:JavaScript2 0
liyishuai/go-getting-started
Getting Started with Go on Heroku https://devcenter.heroku.com/articles/getting-started-with-go
Language:Go
liyishuai/gswap
交易所
Language:HTML2 0
liyishuai/heti
赫蹏（hètí）是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来，可以为网站的读者带来更好的文章阅读体验。
Language:SCSS2 0
liyishuai/ieaseMusic
网易云音乐第三方
Language:JavaScript1 01
liyishuai/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq2 01
liyishuai/liyishuai
I'm an amateur musician who occasionally codes.
3 01
liyishuai/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Language:Haskell3 0
liyishuai/lsyncd
Lsyncd (Live Syncing Daemon) synchronizes local directories with remote targets
liyishuai/metalib
The Penn Locally Nameless Metatheory Library
Language:Coq1 0
liyishuai/oh-my-bash
A delightful community-driven framework for managing your bash configuration, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell1 0
liyishuai/opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml2 01
liyishuai/QuickChick
Randomized Property-Based Testing Plugin for Coq
Language:Coq2 0
liyishuai/RSSHub
🍰 Everything is RSSible
Language:TypeScript1 0
liyishuai/sf
Language:HTML1 0
liyishuai/singa
a distributed deep learning platform
Language:C++
liyishuai/unison
Unison file synchronizer
Language:OCaml2 0
liyishuai/vscode-ycy
超越鼓励师 for VS Code
Language:TypeScript3 0