Liqing Yang's repositories
cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Language:OCaml000
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:CoqMIT000
plfa.github.io
An introduction to programming language theory in Agda
Language:HTMLCC-BY-4.0000
scribble-java
Core components for the Scribble Java tools
Language:JavaNOASSERTION000
WasmCert-Coq
A mechanisation of Wasm in Coq
Language:CoqMIT000