xc93 - Giters

Xiaohong Chen's repositories

Language:TeXMIT100

Language:TeX100

A simple OCaml implementation of Prolog, including a parser and a backtracking evaluator.

Language:TeX100

Xiaohong Chen's faculty application materials

010

My homepage

Language:Ruby000

Language:TeX000

000

A performance testing framework for K.

Language:Shell000

Language:HaskellNOASSERTION000

Language:TeX000

An implemnetation of matching logic in Lean

GPL-3.0000

000

Language:TeX000

A Metamath verifier written in rust

000

Language:OCamlMIT000

🎹 Personal blog powered by Jekyll

Language:RubyMIT000

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT000

Benchmark test programs for ZK solutions.

BSD-3-Clause000