Discover @xiaohe27 Open Source projects

HE XIAO (@xiaohe27)

xiaohe27

Stars
2
Global Rank 2,219,069 (Top 77 %)
Followers 1
Following 2
Registered almost 12 years ago
Most used languages

OCaml
50.0 %

Java
50.0 %
Location 🇺🇸 United States
Country Total Rank 305,304
Country Ranking

OCaml
731

PrologInOcaml

Implement a Prolog interpreter in Ocaml

K-Spec-Gen

Generate k-spec from annotated java file which can be used as the input of k verifier