Pinned Repositories
ADT-Lemma-Discovery
Algebraic data type specification inference
effectful_coverage_type
Error-Perturbation-Learning
HATs
normalty
normalty
ocaml_parser
PFPL-Implementation
Poirot-Supplementary-Material
underapproximation_type
utils
zhezhouzz's Repositories
zhezhouzz/HATs
zhezhouzz/underapproximation_type
zhezhouzz/ADT-Lemma-Discovery
Algebraic data type specification inference
zhezhouzz/effectful_coverage_type
zhezhouzz/normalty
normalty
zhezhouzz/ocaml_parser
zhezhouzz/Poirot-Supplementary-Material
zhezhouzz/utils
zhezhouzz/zzdatatype
zhezhouzz/language_utils
zhezhouzz/quantum_playground
zhezhouzz/zhezhouzz.github.io
A Bootstrap 4 resume/CV theme created by Start Bootstrap
zhezhouzz/ADT-OO
Examples for “OOPSLA '09 On understanding data abstraction, revisited”
zhezhouzz/AdversarialScheduler
zhezhouzz/algebra_playground
zhezhouzz/AutomataPlayground
Tree Automata
zhezhouzz/CV
zhezhouzz/definitional_interpretor
OCaml Implementation of "Defifinitional interpreters for higher-order programming languages"
zhezhouzz/incortype
zhezhouzz/Marple-source-code
zhezhouzz/Marple-Supplementary-Material
POPL 23 Supplementary Material
zhezhouzz/metaplayground
zhezhouzz/ocaml_playground
zhezhouzz/P
The P programming language.
zhezhouzz/P-PBT
Property-Based Testing For P Language
zhezhouzz/phi_calculus
zhezhouzz/PLDI25-submission-sp
zhezhouzz/QTAFormalization
zhezhouzz/refocusing
Playground for refocusing
zhezhouzz/sfa