@mistupv

The MiST group (Multi-paradigm Software Technology)

  • A causal-consistent debugger for Erlang

    Erlang 15 MIT Updated Oct 8, 2018
  • Erlang partial evaluator

    Erlang MIT Updated Jul 9, 2018
  • edd

    Forked from tamarit/edd

    Erlang Declarative Debugger

    Erlang 4 GPL-3.0 Updated Mar 22, 2018
  • secer

    Forked from serperu/secer

    SecEr: Erlang Code Evolution Control Tool

    Erlang 1 Updated Mar 14, 2018
  • A simple Prolog API for the Z3 constraint solver

    C 6 MIT Updated Feb 5, 2018
  • An implementation of the dining philosophers problem in Erlang

    Erlang 2 MIT Updated Dec 6, 2017
  • An implementation of the reversible semantics for Erlang.

    Erlang 11 MIT Updated Nov 9, 2017
  • Java Updated Sep 11, 2017
  • Erlang Updated Sep 11, 2017
  • Java Updated Sep 11, 2017
  • Java Updated Sep 11, 2017
  • Erlang 1 Updated Jun 4, 2017
  • CSP-Tracker: Generator of CSP tracks

    Erlang 2 Updated Jun 1, 2017
  • A suite of tools for Petri Nets

    Erlang 1 Updated Apr 7, 2017
  • Slicing for Erlang

    Erlang 8 Updated Mar 9, 2017
  • A tool for the transformation of an irreversible Term Rewriting System into a reversible one

    Prolog 4 MIT Updated Jan 20, 2017
  • Erlang Updated Nov 13, 2012
  • Top languages

    Loading…

    Most used topics

    Loading…