Yann Thierry-Mieg's repositories
5minBot
Terran Bot for the Sc2 AI ladder at http://sc2ai.net/
apt
APT – Analysis of Petri nets and labelled transition systems
Bliss-BinaryBuild
Hosting binary artifacts for Bliss tool, by Tommi Junttila et al. to compute graph automorphisms.
boogie
Boogie
but4reuse
Bottom-Up Technologies for Reuse
DockerMemoryTest
Test how we can compute available memory in dockers
enPAC-2020
A model checking tool
ITS-contribution
A project to host an example contribution plugin to ITS-tools.
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.
pnmcc-models-2018
Extracted models + oracles where available based on MCC'2018 competition.
rouge
A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
Sc2LadderServer
A Ladder server for SC2 api
SCFusion
SC Fusion
TestByacc
a project to test compilation + usage of byacc on AppVeyor machines
testCharts
testing Google Charts API to track our performance
TestOomph
test plugin for bug reported against oomph -- and patched since.
xtext-core
xtext-core
Xtext-Light
A repository that builds a minimal XText update site, without optional deps.