Skip to content
View Frederic-Boulanger-UPS's full-sized avatar
7 followers · 0 following
  • CentraleSupélec

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report Frederic-Boulanger-UPS

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. docker-ubuntu_22-04-novnc docker-ubuntu_22-04-novnc Public

    Ubuntu 22.04 in a docker container with display in your web browser

    33 29

  2. Clocks Clocks Public

    A formal model of clocks in Isabelle/HOL

    TeX 1

  3. docker-framac docker-framac Public

    Frama-C, Why3 and some SMT solvers in a multi architecture docker image

    Makefile 1

  4. MiniARM-feature MiniARM-feature Public

    An Xtext feature providing an editor and an assembler for the MiniARM processor used in the Software Science 3rd year major at CentraleSupélec

    Java 1

  5. TESL TESL Public

    Isabelle/HOL theory for the Tagged Events Specification Language (TESL). See https://wdi.centralesupelec.fr/software/TESL/

    TeX

  6. docker-ubuntunovnc-3asem docker-ubuntunovnc-3asem Public

    Docker image for teaching in the "Software Science" 3rd year at CentraleSupélec

    Dockerfile