fpom

Full professor in computer science. Developer of the SNAKES Petri nets library, and the ecco modelling and analysis tool.

University of Évry - val d'EssonneÉvry, France

Pinned Repositories

badass
quickly produce bad assessments of good projects, but good assessments of bad projects
Language:Python4 1 01
beamer-stripes
Warming Stripes theme for LaTeX/beamer
Language:TeX1 1 00
codanim
Animated code & data structures with LaTeX/beamer
Language:Python14 4 22
cow
C over the Web: dead-simple C online programming
Language:JavaScript1 1 11
hrm
Human Resource Machine interpreter
Language:Assembly2 1 00
PETRINETS-2017-supplementary
Supplementary material for paper "Faster simulation of (coloured) Petri nets using parallel computing" in PETRI NETS 2017.
Language:Python4 4 03
pytl
Python parser and translator for varied temporal logics
Language:Python3 2 00
snakes
SNAKES is the Net Algebra Kit for Editors and Simulators
Language:Python89 7 3129
zinc
ZINC is a Net Compiler
Language:Python7 3 33

fpom's Repositories

fpom/snakes
SNAKES is the Net Algebra Kit for Editors and Simulators
Language:Python89 7 3129
fpom/codanim
Animated code & data structures with LaTeX/beamer
Language:Python14 4 22
fpom/zinc
ZINC is a Net Compiler
Language:Python7 3 33
fpom/badass
quickly produce bad assessments of good projects, but good assessments of bad projects
Language:Python4 1 01
fpom/pytl
Python parser and translator for varied temporal logics
Language:Python3 2 00
fpom/hrm
Human Resource Machine interpreter
Language:Assembly2 1 00
fpom/beamer-stripes
Warming Stripes theme for LaTeX/beamer
Language:TeX1 1 00
fpom/cow
C over the Web: dead-simple C online programming
Language:JavaScript1 1 11
fpom/cunf-ptnet-py3
Python 3 port of Cunf/ptnet package
Language:Python1 2 0
fpom/ecco
ECological COmputation
Language:Python1 3 01
fpom/hyena
Hybrid Extensible Networks of Automata
Language:Python1 1 0
fpom/nftoot
A bot to generate Non-Fungible Toots
Language:Python1 1 0
fpom/pymc
Language:Python1 1 01
fpom/blog-amc-c-assess
This repository holds the code to illustrate this blog post
Language:TeX0 1 01
fpom/beamer-frame-extract.vim
Vim plugin to extract the beamer frame under the cursor
Language:Python1 1
fpom/blog-amc-python
This repository holds the code to illustrate this blog post
Language:TeX1 01
fpom/blog-badass
This repository holds the code to illustrate this blog post
Language:C2 01
fpom/copydetect
Code plagiarism detection tool
Language:Python0 0
fpom/daddy
Data Decision Diagrams with a pythonic interface
Language:Cython
fpom/ecofolder
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
Language:C0 0
fpom/fibocards
Generator for Fibonacci magic cards
Language:TeX2 01
fpom/Flask-SocketIO
Socket.IO integration for Flask applications.
Language:Python1 01
fpom/had
Headers as Dependencies
Language:Python2 01
fpom/libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Language:C++2 0
fpom/mousse
plagiarism detection using MOSS with post-processing
Language:Python1 0
fpom/PNSE-22
Supplementary material for paper "EDEN framework for interactive analysis of ecosystems models" submitted to PNSE'22
Language:Jupyter Notebook1 0
fpom/pyddd
A Python binding of libDDD
Language:Cython2 01
fpom/pyits
A Python binding of libITS
Language:Cython2 0
fpom/tree-sitter-c
C grammar for tree-sitter
Language:JavaScript0 0
fpom/xpra-html5
HTML5 client for Xpra
Language:JavaScript0 0