Guillaume "Liam" Petiot's repositories
Frama-C-Mutation
Generation of mutant programs
Frama-C-StaDy
Static & Dynamic Verification of C programs
Frama-C-Inline
Inlining of ACSL predicates and logic functions
ocaml-weather
An OCaml library to access current weather data from OpenWeather
ocamlformat-preview
OCamlFormat in the browser
sexp-parse
S-expression parsing library (without base dependency)
config.ml
conditional compilation via attributes for OCaml
dune
A composable build system for OCaml.
dune-release
Streamlining the release of dune packages to opam
get-activity
collect activity and format as markdown for a journal
js_of_ocaml
Compiler from OCaml to Javascript.
mdx
Execute code blocks inside your documentation
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocamlformat
Auto-formatter for OCaml code
okra
OKR report aggregation tool
opam-repository
Main public package repository for opam, the source package manager of OCaml.
phd-thesis
Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)