DocSkellington
PhD Student in Theoretical Computer Science, at F.R.S.-FNRS, UMONS and UAntwerpen.
F.R.S.-FNRS, University of Mons, University of AntwerpBelgium
Pinned Repositories
academic-cv
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Conquesto
JSONSchemaTools
Validation and generation of documents according to a JSON schema, with abstracted values
learnlib
A free, open-source Java library for automata learning algorithms
LStar-ROCA-Benchmarks
pcsx2-1.4.0-rr
This is a fork of an informal emulator which adds TAS tools to PCSX2-1.4.0
Projet
Quoridor of Doom
ThesisLaTeXStyle
ValidatingJSONDocumentsWithLearnedVPA
Validation of JSON documents in a streaming context, using learned visibly pushdown automata
DocSkellington's Repositories
DocSkellington/pcsx2-1.4.0-rr
This is a fork of an informal emulator which adds TAS tools to PCSX2-1.4.0
DocSkellington/ValidatingJSONDocumentsWithLearnedVPA
Validation of JSON documents in a streaming context, using learned visibly pushdown automata
DocSkellington/learnlib
A free, open-source Java library for automata learning algorithms
DocSkellington/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
DocSkellington/Conquesto
DocSkellington/JSONSchemaTools
Validation and generation of documents according to a JSON schema, with abstracted values
DocSkellington/LStar-ROCA-Benchmarks
DocSkellington/Projet
Quoridor of Doom
DocSkellington/ThesisLaTeXStyle
DocSkellington/academic-cv
DocSkellington/academiccv-builder
DocSkellington/LearningVCA
DocSkellington/ActiveLearning
Active Learning of Abstract System Models from Traces
DocSkellington/docskellington.github.io
Personal website built from Markdown files using Python
DocSkellington/Godot-Sort-Visualizer
Customizable Sorting algorithms visualizer made with Godot 3.5
DocSkellington/jsonresume-theme-orion-umons
A theme for JSON Resume based on Orbit design
DocSkellington/LearnTA
C++ library for timed automata learning
DocSkellington/pcsx2-rr
PCSX2 - The Playstation 2 Emulator
DocSkellington/pybabel-godot
Plugin for Babel to support Godot scene files (.tscn)
DocSkellington/SPJRUDPython
Projet de Base de Données I
DocSkellington/tmxlite
lightweight C++14 parser for Tiled tmx files
DocSkellington/WebsiteBuilder
A very simple template system for Python-Markdown, used for my personal website