Skip to content
View dalzilio's full-sized avatar

Block or report dalzilio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. mcc mcc Public

    High-Level Nets Blaster for the Model-Checking Contest

    Go 10 1

  2. rudd rudd Public

    Rudd is a Binary Decision Diagram (BDD) library written in pure Go.

    Go 9 1

  3. nets nets Public

    Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox

    Go 6

  4. hue hue Public

    A random walk explorer for colored Petri nets

    Go 2 1

  5. docker-twina docker-twina Public

    docker file for generating the twina image

    TeX 1

  6. 4IR_MSC 4IR_MSC Public

    files and information for the course on "Modélisation des Systèmes Concurrents"

    q 5