Skip to content
View yanntm's full-sized avatar
  • LIP6, Sorbonne Université, CNRS
  • Paris

Highlights

  • Pro

Organizations

@lip6

Block or report yanntm

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

Pinned Loading

  1. lip6/ITSTools lip6/ITSTools Public

    A multi-formalism, multi-solution model-checker centered on the language GAL

    Python 22 10

  2. ITS-Tools-MCC ITS-Tools-MCC Public

    Wrapper for ITS-Tools used in the Model-Checking contest

    Shell 3

  3. lip6/libDDD lip6/libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 12 4

  4. lip6/libITS lip6/libITS Public

    Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

    C++ 8 5

  5. AutoParallelJava AutoParallelJava Public

    A Project to automatically refactor Java enhanced for loops to streams.

    Java 1

  6. YoBot YoBot Public

    A bot to compete in Starcraft 2 AI tournaments

    C++ 6 3