Yann Thierry-Mieg (@yanntm)
github

yanntm

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    40
  • Global Rank 399,122 (Top 14 %)
  • Followers 37
  • Registered about 9 years ago
  • Most used languages
    HTML
         25.0 %
    Java
         25.0 %
    C++
         20.0 %
    Shell
         15.0 %
    Perl
         5.0 %
    R
         5.0 %
    Standard ML     5.0 %
  • Location 🇫🇷 France
  • Country Total Rank 9,208
  • Country Ranking
    Standard ML     10
    Perl
         267
    R
         363
    HTML
         1,055
    C++
         1,437
    Java
         1,641
    Shell
         1,668

Top repositories

1

YoBot

A bot to compete in Starcraft 2 AI tournaments
C++
6
star
2

MCC-analysis

A repository hosting scripts to analyze the results of the MCC
R
4
star
3

ITS-Tools-MCC

Wrapper for ITS-Tools used in the Model-Checking contest
Shell
3
star
4

Puck3

Development of Puck 3 DSL.
Java
3
star
5

pnmcc-models-2020

Models, Formulas, Oracles from Model Checking Competition 2020
HTML
2
star
6

pnmcc-models-2022

Models, formulas and oracles from the 2022 Model Checking Competition
HTML
2
star
7

PSCR-TME

Provided lab files for PSCR MU4IN400 course.
C++
2
star
8

JITTAC

Java
2
star
9

pnmcc-models-2021

Models, Formulas, Oracles from Model Checking Competition 2021
HTML
2
star
10

pnmcc-tests

A framework to run tests on any MCC compliant tool.
Perl
2
star
11

HUPN-HumanUsablePetriNotation

A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
Java
2
star
12

MCC-drivers

A driver to adapt various tools to Model Checking Contest formats.
Shell
2
star
13

Abat

Action Based Attack Trees
Java
1
star
14

PSCR-TME4

C++
1
star
15

SMPT-BinaryBuilds

A repository hosting CI to rebuild SMPT binaries from source
Shell
1
star
16

CPNTools

Standard ML
1
star
17

PetriSpot

A protoype project to model check LTL formula on Petri nets.
C++
1
star
18

metrics2-gh

HTML
1
star
19

pnmcc-models-2019

Models from the Model Checking Contest 2019 edition
HTML
1
star
20

AutoParallelJava

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