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
Showing results

SecEr: Erlang Code Evolution Control Tool

Erlang 12 1 Updated Jul 26, 2022

An implementation of the reversible semantics for Erlang.

Erlang 13 Updated Nov 9, 2017

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

Prolog 7 2 Updated Jan 20, 2017

A case tracer for Erlang

Erlang 1 Updated Oct 28, 2014

Erlang metaprogramming course

Erlang 2 Updated Jun 12, 2013

A suite of tools for Petri Nets

Erlang 13 2 Updated Oct 26, 2022

Erlang Declarative Debugger

Erlang 20 4 Updated Jul 22, 2020

Slicing for Erlang

Erlang 8 Updated Dec 11, 2022
Showing results