Pinned Repositories
blog
Personal blog
ckb-verification
A formal model of CKB consensus protocol in Coq and proof of quiescent consistency property
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
idiomatic-vimrc
Guidelines for sculpting your very own ~/.vimrc.
isa-eval
isabelle-utils
Command line utility for Isabelle theories
langium
Next-gen language engineering / DSL framework
luan-xiaokun
Config files for GitHub profile.
overlord
Overlord consensus protocol.
PKUAutoSubmit_online
萌新友好的，无需下载文件与配环境的，基于Github Actions的，P大学生出入校自动报备程序
luan-xiaokun's Repositories
luan-xiaokun/blog
Personal blog
luan-xiaokun/ckb-verification
A formal model of CKB consensus protocol in Coq and proof of quiescent consistency property
luan-xiaokun/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
luan-xiaokun/idiomatic-vimrc
Guidelines for sculpting your very own ~/.vimrc.
luan-xiaokun/isa-eval
luan-xiaokun/isabelle-utils
Command line utility for Isabelle theories
luan-xiaokun/langium
Next-gen language engineering / DSL framework
luan-xiaokun/luan-xiaokun
Config files for GitHub profile.
luan-xiaokun/overlord
Overlord consensus protocol.
luan-xiaokun/PKUAutoSubmit_online
萌新友好的，无需下载文件与配环境的，基于Github Actions的，P大学生出入校自动报备程序
luan-xiaokun/vscode-mediator
luan-xiaokun/reglang2msl
luan-xiaokun/TorchModel