XSnow

A postdoc at IRIF. A PhD graduate from @hkuplg

slow@xsnow.liveParis

Pinned Repositories

bowtie_coq
A Bowtie for a Beast (Artifact)
Language:Coq1 3 10
coqdocjs
CoqdocJS for Metalib and LNgen
Language:Coq0 0 00
CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:Coq0 0 00
DistributingTypes
Language:Coq0 1 00
ECOOP2020
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Language:Coq7 2 02
hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
Language:CSS00
nested-composition
Language:Coq0 1 00
nix-configs
My Nix Configs
Language:Nix01
TamingMerge
Coq formalization for Taming the Merge Operator
Language:Coq4 1 01
XSnow.github.io
Language:HTML00

XSnow's Repositories

XSnow/ECOOP2020
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Language:Coq7 2 02
XSnow/TamingMerge
Coq formalization for Taming the Merge Operator
Language:Coq4 1 01
XSnow/bowtie_coq
A Bowtie for a Beast (Artifact)
Language:Coq1 3 10
XSnow/coqdocjs
CoqdocJS for Metalib and LNgen
Language:Coq0 0 00
XSnow/CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:Coq0 0 00
XSnow/DistributingTypes
Language:Coq0 1 00
XSnow/hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
Language:CSS00
XSnow/nested-composition
Language:Coq0 1 00
XSnow/nix-configs
My Nix Configs
Language:Nix01
XSnow/XSnow.github.io
Language:HTML00
XSnow/zfs-autosync
Language:Rust0 3 00
XSnow/pt-tools
pt自动签到,说谢谢,刷魔力,登录保号
Language:Python