Quentin Fiard (@qfiard)
github

qfiard

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    39
  • Global Rank 406,458 (Top 15 %)
  • Followers 11
  • Following 3
  • Registered almost 13 years ago
  • Most used languages
    C++
         62.5 %
    Coq     12.5 %
    Java
         12.5 %
    OCaml
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 15,886
  • Country Ranking
    Coq     23
    OCaml
         194
    C++
         1,023
    Java
         8,647

Top repositories

1

cuda-sat-solver

An implementation of a SAT solver using the CUDA library
C++
15
star
2

diff_match_patch

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

CoqCertifiedCompiler

A compiler for a very simple language, certified in Coq
Coq
3
star
4

GooglifyCMake

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

shark

Fork of the Shark Machine Learning Library
C++
2
star
6

SimpleMLCompiler

Compiler for a subset of ML
OCaml
2
star
7

PlagiarismChecker

Java
1
star
8

intel_pcm

CMake binding for Intel's Performance Counter Monitor library
C++
1
star