Popular repositories Loading

1. Frama-C-Mutation Frama-C-Mutation Public archive

   Generation of mutant programs

   OCaml 21

2. Frama-C-StaDy Frama-C-StaDy Public archive

   Static & Dynamic Verification of C programs

   OCaml 9 3

3. Frama-C-Inline Frama-C-Inline Public archive

   Inlining of ACSL predicates and logic functions

   OCaml 3

4. ocamlformat-preview ocamlformat-preview Public

   OCamlFormat in the browser

   JavaScript 3

5. ocaml-weather ocaml-weather Public archive

   An OCaml library to access current weather data from OpenWeather

   OCaml 2

6. sexp-parse sexp-parse Public archive

   S-expression parsing library (without base dependency)

   OCaml 2