Pinned Repositories
agda-routing
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
build_databases.cst.cam.ac.uk
scripts for building three databases instances form IMDb data
cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
netkit-ng-labs
Original Netkit labs and new Netkit-NG labs
SBRC_2019
Talk and tutorial delivered at SBRC 2019, May 9, in Gramado, Brazil
zongzhe
Timothy-G-Griffin's Repositories
Timothy-G-Griffin/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
Timothy-G-Griffin/build_databases.cst.cam.ac.uk
scripts for building three databases instances form IMDb data
Timothy-G-Griffin/zongzhe
Timothy-G-Griffin/netkit-ng-labs
Original Netkit labs and new Netkit-NG labs
Timothy-G-Griffin/SBRC_2019
Talk and tutorial delivered at SBRC 2019, May 9, in Gramado, Brazil