[go: up one dir, main page]

Skip to content
View oldmist's full-sized avatar

Organizations

@mistupv

Block or report oldmist

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

Pinned Loading

  1. mistupv/rev-erlang mistupv/rev-erlang Public

    An implementation of the reversible semantics for Erlang.

    Erlang 13

  2. mistupv/slicerl mistupv/slicerl Public

    Slicing for Erlang

    Erlang 8

  3. mistupv/csp_tracker mistupv/csp_tracker Public

    CSP-Tracker: Generator of CSP tracks

    Erlang 2 1

  4. tamarit/pn_suite tamarit/pn_suite Public

    A suite of tools for Petri Nets

    Erlang 13 2

  5. mistupv/slice_dialyzer mistupv/slice_dialyzer Public

    Erlang

  6. mistupv/rev-rewriting mistupv/rev-rewriting Public

    A tool for the transformation of an irreversible Term Rewriting System into a reversible one

    Prolog 7 2