Quentin Fiard

Advanced
@qfiard

Software Engineer Manager at Google

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

15

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

12

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

3

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

3

shark. Fork of the Shark Machine Learning Library

2

SimpleMLCompiler. Compiler for a subset of ML

2

PlagiarismChecker. Java

1

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

1
8
Apply