Skip to content
View oldmist's full-sized avatar
6 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@mistupv
Block or Report

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

  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 6 1