Xuejie Xiao's repositories
Language:Rust000
bcs
Rust implementation of the Binary Canonical Serialization (BCS) format
Apache-2.0000
ckb-vm-bench-scripts
Non-trivial CKB VM Scripts which can be used as benchmarks.
Language:CMIT000
Language:GoMIT000
MIT000
Language:TypeScriptMIT000
CompCert
The CompCert formally-verified C compiler
NOASSERTION000
Language:Rust000
mmr-post-demo
Demo code for the merkle-mountain-range cycle optimization post
Language:C000
ckb-auth
A consolidated library featuring numerous blockchains authentication techniques on CKB-VM
MIT000
ckb-miscellaneous-scripts
Interesting and useful CKB scripts which aren't necessarily in system scripts
Language:CMIT000
Language:CMIT000
rust
A safe, concurrent, practical language.
Language:RustNOASSERTION000
cargo
The Rust package manager
Apache-2.0000
Language:Rust000
Language:Rust000
Language:Rust000
Language:Rust000
ckb-vm-contrib-test-suite
Test suite for ckb-vm-contrib
Language:RustMIT000
micro-config
My personal micro-config
Language:Lua000
Language:Rust000
Language:CApache-2.0000
merkle-mountain-range
A generalized merkle mountain range implementation.
000
pyrsp
python implementation of the GDB Remote Serial Protocol
000
Language:Python000
buddy-alloc
Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
000
Language:Rust000