liqing-yang

Liqing Yang's repositories

Language:JavaMIT010

OCaml code for Compiler Construction course at University of Cambridge

Language:OCaml000

A Library for Representing Recursive and Impure Programs in Coq

Language:CoqMIT000

Language:Agda010

An introduction to programming language theory in Agda

Language:HTMLCC-BY-4.0000

Core components for the Scribble Java tools

Language:JavaNOASSERTION000

Language:Coq010

A mechanisation of Wasm in Coq

Language:CoqMIT000