petergjoel

Universal toolmaker at @DEIS-Tools, preaching the gospel of Formal Methods.

@DEIS-Tools

Pinned Repositories

AalWiNes
Language:C++0 0 00
docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
Language:CSS0 0 00
mcrl
Language:C++00
mcrl_models
Language:Shell0 0 00
MoniTAal
Language:C++00
opentoonz
OpenToonz - アニメーション制作ツールのオープンソースプロジェクト
Language:C++0 0 00
P-Rex
Language:Python0 0 00
ptrie
A memory efficient hashfree hashmap implementation
Language:C++23

petergjoel's Repositories

petergjoel/ptrie
A memory efficient hashfree hashmap implementation
Language:C++23
petergjoel/AalWiNes
Language:C++0 0 00
petergjoel/docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
Language:CSS0 0 00
petergjoel/mcrl
Language:C++00
petergjoel/mcrl_models
Language:Shell0 0 00
petergjoel/MoniTAal
Language:C++00
petergjoel/opentoonz
OpenToonz - アニメーション制作ツールのオープンソースプロジェクト
Language:C++0 0 00
petergjoel/P-Rex
Language:Python0 0 00
petergjoel/piper
Language:C++
petergjoel/sqlite-android
Android SQLite support library
Language:Java
petergjoel/tapaal-gui
This is a mirror of the official tapaal-gui repo hosted at https://launchpad.net/tapaal. We currently does only accept pull request via github for the CPN Branch
petergjoel/UCT_PTA
UCT implementation with enhancements for Priced Timed Automatas
Language:C++0 0
petergjoel/Unfolding-Experiments-RepeatabilityPackage
Repeatability package for paper Symbolic Unfolding of Colored Petri Nets
Language:C
petergjoel/unfoldTACPN
TAPAAL unfolder for Colored Timed Arc Petri Nets
Language:Perl
petergjoel/uppaal-libs
petergjoel/www.tapaal.net
Source code for the tapaal.net webpage.
Language:HTML0 0