Explore projects

Dan Liew's personal KLEE-CL repo.

This is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.

Provided files for the Linkload exercise.

Provided files for the Linkload exercise.

MetamorphicCL, a compiler testing tool for OpenCL

A cutdown version of part2 of my mailing list flattening C example, a specialised form of the general "computing transitive closures of a directed graph" method

In LinkedIn's Plain Old C Programming group in , John Coloccia asked about whether "namespaces" would be a good idea for C. He explained that he meant some form of modularity, and I thought I've have a play - this is the result! A module generator!

Provided files for the 1920 Pintos lab exercise

Modified version of the NS-3 NB integration with the examples changed to record and output relevant properties such as latency and throughput.

Pancake numbers are an obscure number theory sequence, defined as:

pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise