Giters
James Lingard (jchl)

jchl

Geek Repo

5

followers

0

following

56

stars

Location:Cambridge

Github PK Tool:Github PK Tool

James Lingard's repositories

tvc

Translation validation for clang

Language:CoqLicense:MITStargazers:1Issues:1Issues:0

bloaty

Bloaty McBloatface: a size profiler for binaries

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

icfp2014

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

jtrace

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0