Skip to content
View luan-xiaokun's full-sized avatar
8 followers · 5 following
  • Beijing, China

Achievements

Achievement: Pull SharkAchievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report luan-xiaokun

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luan-xiaokun/README.md
  • 👋 Hi there, I'm Xiaokun Luan, a PhD student at Peking University
  • 🔭 I'm currently interested in trustworthy deep learning, formal modeling and verification, and component-based formal specification language
  • 📫 How to reach me: luanxiaokun@pku.edu.cn

Popular repositories

  1. coq-serapi coq-serapi Public

    Forked from ejgallego/coq-serapi

    Coq Protocol Playground with Se(xp)rialization of Internal Structures.

    OCaml

  2. overlord overlord Public

    Forked from nervosnetwork/overlord

    Overlord consensus protocol.

    Rust

  3. ckb-verification ckb-verification Public

    A formal model of CKB consensus protocol in Coq and proof of quiescent consistency property

    Coq

  4. PKUAutoSubmit_online PKUAutoSubmit_online Public

    Forked from xiazhongyv/PKUAutoSubmit_online

    萌新友好的，无需下载文件与配环境的，基于Github Actions的，P大学生出入校自动报备程序

    Python

  5. vscode-mediator vscode-mediator Public

    TypeScript

  6. langium langium Public

    Forked from eclipse-langium/langium

    Next-gen language engineering / DSL framework

    TypeScript