yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS PhD, HDR
LIP6, Sorbonne Université, CNRSParis
yanntm's Stars
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
kelseyhightower/nocode
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
travis-ci/travis-ci
Free continuous integration platform for GitHub projects.
google/bloaty
Bloaty: a size profiler for binaries
JamesIves/github-pages-deploy-action
🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.
ligurio/awesome-ci
The list of continuous integration services and tools
hjweide/pyastar2d
A very simple A* implementation in C++ callable from Python for pathfinding on a two-dimensional grid.
nlitsme/extfstools
Tools for extracting files from ext2,3,4 filesystem images
eclipse/xtext-core
xtext-core
utwente-fmt/ltsmin
The LTSmin model checking toolset
cpp-sc2/cpp-sc2
StarCraft II Client C++ library, proud fork of Blizzard/s2client-api.
greatspn/SOURCES
Main repository of the GreatSPN framework
lovasoa/bloomfilter
Simplistic (but fast) java implementation of a bloom filter.
nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
lip6/libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
lip6/pnmlframework
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
dalzilio/mcc
High-Level Nets Blaster for the Model-Checking Contest
lip6/ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
TAPAAL/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
ahamez/libsdd
A generic C++14 library for Hierarchical Set Decision Diagrams.
yanntm/YoBot
A bot to compete in Starcraft 2 AI tournaments
yanntm/MCC-analysis
A repository hosting scripts to analyze the results of the MCC
Tj-Cong/EnPAC_2021_RD
yanntm/ITS-Tools-MCC
Wrapper for ITS-Tools used in the Model-Checking contest
dalzilio/hue
A random walk explorer for colored Petri nets
yanntm/JITTAC
yanntm/MCC-drivers
A driver to adapt various tools to Model Checking Contest formats.
lip6/ITS-commandline
A project to host command-line version of ITS-Tools components embedded in eclipse
yanntm/AutoParallelJava
A Project to automatically refactor Java enhanced for loops to streams.