Franck Pommereau's Projects
quickly produce bad assessments of good projects, but good assessments of bad projects
Vim plugin to extract the beamer frame under the cursor
Warming Stripes theme for LaTeX/beamer
This repository holds the code to illustrate this blog post
This repository holds the code to illustrate this blog post
This repository holds the code to illustrate this blog post
Animated code & data structures with LaTeX/beamer
Code plagiarism detection tool
C over the Web: dead-simple C online programming
Python 3 port of Cunf/ptnet package
Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD, Sylvan, and BuDDy
ECological COmputation
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
A python PEG parser generator
Generator for Fibonacci magic cards
Socket.IO integration for Flask applications.
Headers as Dependencies
Get hash values for arbitrary values in Go (golang).
Human Resource Machine interpreter
Hybrid Extensible Networks of Automata
Library for Data Decision Diagrams and Set Decision Diagrams
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem: implementation and models
plagiarism detection using MOSS with post-processing
A bot to generate Non-Fungible Toots
Supplementary material for paper "Faster simulation of (coloured) Petri nets using parallel computing" in PETRI NETS 2017.
Supplementary material for paper "EDEN framework for interactive analysis of ecosystems models" submitted to PNSE'22
:crown: Python factor analysis library (PCA, CA, MCA, MFA, FAMD)
A Python binding of libDDD
A Python binding of libITS