Pinned Repositories
application-materials
Xiaohong Chen's faculty application materials
backup
My homepage
CS524
icfp2020-captions
k-performance-testing-framework
A performance testing framework for K.
kore
ksummarizer-doc
matching-logic-types
pi-square-doc
simprolog
A simple OCaml implementation of Prolog, including a parser and a backtracking evaluator.
xc93's Repositories
xc93/ksummarizer-doc
xc93/pi-square-doc
xc93/simprolog
A simple OCaml implementation of Prolog, including a parser and a backtracking evaluator.
xc93/application-materials
Xiaohong Chen's faculty application materials
xc93/backup
My homepage
xc93/CS524
xc93/icfp2020-captions
xc93/k-performance-testing-framework
A performance testing framework for K.
xc93/kore
xc93/matching-logic-types
xc93/mlean
An implemnetation of matching logic in Lean
xc93/pandoc-book-test
xc93/prelim
xc93/rust-metamath
A Metamath verifier written in rust
xc93/semantics-styles
xc93/xc93.github.io
🎹 Personal blog powered by Jekyll
xc93/xc93.github.io.backup
A beautiful, simple, clean, and responsive Jekyll theme for academics
xc93/zk-benchmark
Benchmark test programs for ZK solutions.