Explore projects

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

First order logic parser and evaluator in C

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

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

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