Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by liyishuai
A curated list of projects in awesome lists by liyishuai .
https://github.com/liyishuai/coq-http
HTTP specification in Coq, testable and verifiable
Last synced: 28 Oct 2024
https://github.com/liyishuai/kejihanyu
科技汉语：给科学技术从业者的写作建议 Chinese Writing for Scientists
Last synced: 06 Nov 2024
https://github.com/liyishuai/coq-parsec
Monadic parser combinator library in Coq
Last synced: 06 Nov 2024
https://github.com/liyishuai/cps
Conversion from System T to continuation-passing style (CPS)
Last synced: 06 Nov 2024
https://github.com/liyishuai/file-sync
File synchroniser specification in Coq
Last synced: 06 Nov 2024
https://github.com/liyishuai/bsde
Option pricing with BSDE and Monte Carlo method
Last synced: 06 Nov 2024
https://github.com/liyishuai/comment-telebot
Comment on tucnak/telebot#107, which was deleted
Last synced: 06 Nov 2024
https://github.com/liyishuai/coq-fileutils
Coq API to manipulate real files (POSIX like) and filenames
Last synced: 06 Nov 2024
https://github.com/liyishuai/liyishuai
I'm an amateur musician who occasionally codes.
Last synced: 06 Nov 2024
https://github.com/liyishuai/deepwebtest
Test web servers against deep specifications
Last synced: 06 Nov 2024
https://github.com/liyishuai/mpgen
Generate email and password to spam phisher
Last synced: 06 Nov 2024