Beast code in Giters

Carlo Wood's repositories

libgaloisfield

A small C++ library to play with finite fields.

Language:C++GPL-3.02 30

totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf)

Language:OCamlNOASSERTION030

xor-files

XOR for two or more files and get the result on a pipe

Language:CNOASSERTION020