yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS PhD, HDR
LIP6, Sorbonne Université, CNRSParis
Pinned Repositories
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
AutoParallelJava
A Project to automatically refactor Java enhanced for loops to streams.
ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
MCC-analysis
A repository hosting scripts to analyze the results of the MCC
PetriSpot
An small and efficient C++ tool to analyze Petri nets.
PetriVizu
A small tool to look at Petri nets in a web page.
Puck3
Development of Puck 3 DSL.
YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm's Repositories
yanntm/YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm/Abat
Action Based Attack Trees
yanntm/PSCR-TME4
yanntm/5minBot
Terran Bot for the Sc2 AI ladder at http://sc2ai.net/
yanntm/apt
APT – Analysis of Petri nets and labelled transition systems
yanntm/Bliss-BinaryBuild
Hosting binary artifacts for Bliss tool, by Tommi Junttila et al. to compute graph automorphisms.
yanntm/boogie
Boogie
yanntm/but4reuse
Bottom-Up Technologies for Reuse
yanntm/cpp-sc2
Proud fork of Blizzard/s2client-api
yanntm/DockerMemoryTest
Test how we can compute available memory in dockers
yanntm/enPAC-2020
A model checking tool
yanntm/ITS-contribution
A project to host an example contribution plugin to ITS-tools.
yanntm/jSMTLIB
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
yanntm/pnmcc-models-2017
This project hosts up to date and separate files for each of the models of the mcc@ICATPN 2017
yanntm/pnmcc-models-2018
Extracted models + oracles where available based on MCC'2018 competition.
yanntm/rouge
A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
yanntm/s2client-api
StarCraft II Client - C++ library supported on Windows, Linux and Mac designed for building scripted bots and research using the SC2API.
yanntm/Sc2LadderServer
A Ladder server for SC2 api
yanntm/SCFusion
SC Fusion
yanntm/spinningup_instadeep2
yanntm/TestByacc
a project to test compilation + usage of byacc on AppVeyor machines
yanntm/testCharts
testing Google Charts API to track our performance
yanntm/TestOomph
test plugin for bug reported against oomph -- and patched since.
yanntm/TestValgrind
yanntm/TestWeb
yanntm/xtext-core
xtext-core
yanntm/Xtext-Light
A repository that builds a minimal XText update site, without optional deps.