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