Guillaume Petiot
gpetiot
Software engineer
ocaml-weather
An OCaml library to access current weather data from OpenWeather
OCamlUpdated 5/25/2025
StaDy-benchmarks
Programs used for benchmarking the StaDy plugin for Frama-C
CUpdated 5/20/2025
ocamlformat-preview
OCamlFormat in the browser
CSSUpdated 5/17/2025
static-website-template
No description provided.
HTMLUpdated 5/14/2025
Frama-C-Mutation
Generation of mutant programs
OCamlUpdated 4/6/2025