Pinned Repositories
cellmata
programming language for effectively writing cellular automata
scraper
distributed web scraper
CGAAL
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
groupforming
collaborative university project on forming groups with genetic algorithms from numeric criteria
datchain
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
newML
Records-Eyepiece
Records Eyepiece
tcp-server
verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
MathiasMehl's Repositories
MathiasMehl/newML
MathiasMehl/Records-Eyepiece
Records Eyepiece
MathiasMehl/tcp-server
MathiasMehl/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.