Giters
Michael Blondin (blondimi)

blondimi

Geek Repo

18

followers

2

following

7

stars

Company:Université de Sherbrooke

Location:Sherbrooke, QC, Canada

Home Page:http://info.usherbrooke.ca/mblondin

Github PK Tool:Github PK Tool

Michael Blondin's repositories

qcover

QCover: an efficient coverability verifier for discrete and continuous Petri nets

Language:PythonLicense:Apache-2.0Stargazers:6Issues:0Issues:0

ift436

IFT436: fichiers complémentaires

Language:PythonStargazers:2Issues:0Issues:0

ift209_h21

IFT209 (H21)

Language:AssemblyStargazers:1Issues:0Issues:0

ift436_a19

IFT436 (A19): code source complémentaire

Language:PythonStargazers:1Issues:0Issues:0

ift436_a21

IFT436 (A21): code source complémentaire

Language:PythonStargazers:1Issues:0Issues:0

igl752_a21

IGL502/712 (A21): fichiers complémentaires

Language:TeXStargazers:1Issues:0Issues:0

automata

Automata Theory: An Algorithmic Approach

Stargazers:0Issues:0Issues:0

ift209_h20

IFT209 (H20)

Language:AssemblyStargazers:0Issues:1Issues:0

ift209_h22

IFT209 (H22)

Language:AssemblyStargazers:0Issues:2Issues:0

ift209_h23

IFT209 (H23)

Language:AssemblyStargazers:0Issues:1Issues:0

ift209_h24

IFT209-01 (H24)

Language:AssemblyStargazers:0Issues:0Issues:0

igl752

IGL502/712: fichiers complémentaires

Language:PromelaStargazers:0Issues:0Issues:0

pp-time-analysis

Expected termination time automatic analyzer for population protocols

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

ift436_a20

IFT436 (A20): code source complémentaire

Language:TeXStargazers:0Issues:0Issues:0

igl752_a20

IGL502/712 (A20): fichiers complémentaires

Language:TeXStargazers:0Issues:0Issues:0