Explore projects

Provided files for the Linkload exercise.

Provided files for the Linkload exercise.

Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes

Dan Liew's personal KLEE-CL repo.

A collection of C ADTs (hash:str->str; longhash:str->long; intlist: list(int); strlist: list(str); set:str->boolean)

Implements the long awaited client-side of datadec: given datadec types like "expr = num(int n) or ...", let us write:

%when expr e is num(n) { return n; }

MetamorphicCL, a compiler testing tool for OpenCL

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!