Guillaume Petiot (@gpetiot)
github

gpetiot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    61
  • Global Rank 296,700 (Top 11 %)
  • Followers 64
  • Following 95
  • Registered about 14 years ago
  • Most used languages
    OCaml
         70.0 %
    C
         10.0 %
    TeX
         10.0 %
    JavaScript
         10.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 14,081
  • Country Ranking
    OCaml
         51
    TeX
         1,388
    C
         4,686

Top repositories

1

Frama-C-Mutation

Generation of mutant programs
OCaml
21
star
2

Frama-C-StaDy

Static & Dynamic Verification of C programs
OCaml
9
star
3

mirage-shell

Basic shell built on top of Mirage (experimental! do not use!)
OCaml
7
star
4

ocaml-weather

An OCaml library to access current weather data from OpenWeather
OCaml
3
star
5

ocamlformat-preview

OCamlFormat in the browser
JavaScript
3
star
6

Frama-C-Inline

Inlining of ACSL predicates and logic functions
OCaml
3
star
7

ocamlformat-mdx-blocks

OCaml
2
star
8

sexp-parse

S-expression parsing library (without base dependency)
OCaml
2
star
9

phd-thesis

Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)
TeX
1
star
10

StaDy

Programs used for benchmarking the StaDy plugin for Frama-C
C
1
star