Explore projects

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise

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.

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial 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)

A Specification-Close Reference Interpreter for ECMAScript. Backup/departmental testing repository for https://github.com/jscert/jsexplain

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; }