Snow's repositories
TamingMerge
Coq formalization for Taming the Merge Operator
bowtie_coq
A Bowtie for a Beast (Artifact)
coqdocjs
CoqdocJS for Metalib and LNgen
Language:CoqBSD-2-Clause000
CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
Language:Coq000
hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
Language:CSS000
Language:Rust000
pt-tools
pt自动签到,说谢谢,刷魔力,登录保号
Language:Python000