Staquet Gaëtan's repositories
pcsx2-1.4.0-rr
This is a fork of an informal emulator which adds TAS tools to PCSX2-1.4.0
ValidatingJSONDocumentsWithLearnedVPA
Validation of JSON documents in a streaming context, using learned visibly pushdown automata
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
JSONSchemaTools
Validation and generation of documents according to a JSON schema, with abstracted values
ActiveLearning
Active Learning of Abstract System Models from Traces
docskellington.github.io
Personal website built from Markdown files using Python
Godot-Sort-Visualizer
Customizable Sorting algorithms visualizer made with Godot 3.5
jsonresume-theme-orion-umons
A theme for JSON Resume based on Orbit design
LearnTA
C++ library for timed automata learning
pybabel-godot
Plugin for Babel to support Godot scene files (.tscn)
SPJRUDPython
Projet de Base de Données I
umons-info-collab
Dépôt collaboratif pour s'échanger des synthèses, notes de cours concernant la formation sciences informatiques à l'UMons.
WebsiteBuilder
A very simple template system for Python-Markdown, used for my personal website