Giters
Matej Hajnal (xhajnal)

xhajnal

Geek Repo

2

followers

6

following

6

stars

Company:Faculty of Informatics, Masaryk University

Location:Botanická 68a, Brno

Github PK Tool:Github PK Tool

Organizations
sybila

Matej Hajnal's repositories

DiPS

Multiple properties Probabilistic systems Model checker

Language:RakuLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

DiPS_deploy

Language:RakuStargazers:0Issues:1Issues:0

prism-benchmarks

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

Language:RakuStargazers:0Issues:0Issues:0

video_bees

tracking of the bees

Language:PythonLicense:MITStargazers:0Issues:0Issues:0