Skip to content
View tamarit's full-sized avatar
đź’­
working
đź’­
working

Organizations

@mistupv

Block or report tamarit

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. edbc edbc Public

    Erlang Design by Contract

    Erlang 24 2

  2. edd edd Public

    Erlang Declarative Debugger

    Erlang 20 4

  3. pn_suite pn_suite Public

    A suite of tools for Petri Nets

    Erlang 13 2

  4. polca-project/polca-toolbox polca-project/polca-toolbox Public

    Polca project toolbox

    C 3 3

  5. mistupv/csp_tracker mistupv/csp_tracker Public

    CSP-Tracker: Generator of CSP tracks

    Erlang 2 1

  6. hackerrank hackerrank Public

    Problems solved in hackerrank

    Erlang 3 4