GitHunt

James Lingard

jchl

Languages

Haskell50%Coq25%C++25%

Repos

4

Stars

1

Forks

0

Top Language

Haskell

Loading contributions...

Top Repositories

tvc

Translation validation for clang

1Coq
bloaty

Bloaty McBloatface: a size profiler for binaries

0C++
icfp2014
0Haskell
jtrace
0Haskell

Repositories

4
JC
jchl/tvc

Translation validation for clang

Coq10Updated 11 years ago
JC
jchl/bloatyFork

Bloaty McBloatface: a size profiler for binaries

C++00Updated 5 years ago
JC
jchl/icfp2014

No description provided.

Haskell00Updated 11 years ago
JC
jchl/jtrace

No description provided.

Haskell00Updated 13 years ago

Gists

Recent Activity

James Lingard (jchl) | GitHunt