Skip to content
Avatar
  • CEA LIST
  • Orsay, France

Achievements

Achievements

Organizations

@CVC4 @Frama-C
Block or Report

Block or report bobot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. OCI: framework for continuous integrations and benchmarks

    OCaml 10 3

  2. Fête de la science INRIA saclay

    OCaml 4

  3. CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    C++ 1 2

  4. Forked from ocaml/opam-repository

    Package descriptions for OPAM

    Shell 1

  5. Forked from ocaml/opam

    OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    OCaml 1

256 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to ocaml/dune, bobot/ocamlll-summary, bobot/tocaml and 5 other repositories

Contribution activity

June 2021

Reviewed 1 pull request in 1 repository
ocaml/ocaml 1 pull request

Created an issue in dunglas/vaccin.click that received 6 comments

Pouvoir limiter à des intervalles de dates

Permettre de configurer un interval de date pour la première et (possiblement deuxième injection) serait utile pour que l'on puisse éliminer automa…

6 comments

Seeing something unexpected? Take a look at the GitHub profile guide.