liyishuai Goto Github PK

.github

24-jieqi-ics

**二十四节气日历订阅

actions-comment-pull-request

GitHub action to comment pull request

blogs

USTCLUG 同学们的博客列表

book

A textbook on informal homotopy type theory

bsde

Option pricing with BSDE and Monte Carlo method

ccalendar

Chinese Calendar in calendar(1) for BSD, Linux & macOS

certicoq

A Verified Compiler for Gallina, Written in Gallina

china_house

**买房相关资料和项目整理，方便查看，持续更新中...

chinese-copywriting-guidelines

Chinese copywriting guidelines for better written communication／中文文案排版指北

chirp-files

A collection of notable radio frequencies near Philadelphia PA and beyond

comment-telebot

Comment on tucnak/telebot#107, which was deleted

content-farm-terminator

「終結內容農場」瀏覽器套件 / Content Farm Terminator browser extension

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.

coq-async-test

Testing asynchronous system

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-fileutils

Coq API to manipulate real files (POSIX like) and filenames

coq-http

HTTP specification in Coq, testable and verifiable

coq-http2

coq-itree-io

Interpreter from itree to IO

coq-json

JSON in Coq

coq-parsec

Monadic parser combinator library in Coq

coq-show

The Show class in Coq

coq-simple-io

IO for Gallina

coq-test

Testable properties in Coq

coq-tls

TLS in Coq

coq-tool

cppo

C-style preprocessor for OCaml

cps

Conversion from System T to continuation-passing style (CPS)

deepwebtest

Test web servers against deep specifications