liqing-yang

postgraduate @ Imperial

Pinned Repositories

aim-project-2020
Language:Java0 1 00
cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Language:OCaml0 0 00
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq0 0 00
plfa
Language:Agda1 1 00
plfa.github.io
An introduction to programming language theory in Agda
Language:HTML0 0 00
scribble-java
Core components for the Scribble Java tools
Language:Java0 0 00
software-foundations
Language:Coq0 1 00
WasmCert-Coq
A mechanisation of Wasm in Coq
Language:Coq0 0 00
book-2020
1 3 31
WasmCert-Coq
A mechanisation of Wasm in Coq
Language:Coq89 12 2310

liqing-yang's Repositories

liqing-yang/plfa
Language:Agda1 1 00
liqing-yang/aim-project-2020
Language:Java0 1 00
liqing-yang/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Language:OCaml0 0 00
liqing-yang/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq0 0 00
liqing-yang/plfa.github.io
An introduction to programming language theory in Agda
Language:HTML0 0 00
liqing-yang/scribble-java
Core components for the Scribble Java tools
Language:Java0 0 00
liqing-yang/software-foundations
Language:Coq0 1 00
liqing-yang/WasmCert-Coq
A mechanisation of Wasm in Coq
Language:Coq0 0 00