/Timothy-G-Griffin

Timothy G. Griffin

@Timothy-G-Griffin

Open GitHub

🇬🇧 Cambrige, UK

University of Cambridge, Computer Laboratory

Profile age: about 14 years

Updated 16 days ago

37 followers • 1 following

Contacts

tgg22@cam.ac.uk

http://www.cl.cam.ac.uk/~tgg22/

Repositories

cc_cl_cam_ac_uk

43

79

updated over 4 years ago • age over 9 years

OCaml98.4%

Standard ML0.9%

C0.8%

zongzhe

1

updated over 7 years ago • age over 7 years

TeX59.1%

Coq39.6%

LOLCODE1.1%

Makefile0.2%

Contributions