Quentin Fiard

cuda-sat-solver. An implementation of a SAT solver using the CUDA library

diff_match_patch. C++11 port of the Diff, Match and Patch libraries for Plain Text.

CoqCertifiedCompiler. A compiler for a very simple language, certified in Coq

GooglifyCMake. A project that allows using CMake like Blaze (Google's build system) for C++, Objective-C, Java, Python and R.

shark. Fork of the Shark Machine Learning Library

SimpleMLCompiler. Compiler for a subset of ML

PlagiarismChecker. Java

intel_pcm. CMake binding for Intel's Performance Counter Monitor library