core-erlang

There are 0 repository under core-erlang topic.

• mistupv / cauder-core

  A Causal-Consistent Debugger for (Core) Erlang

  debuggingcausalityconcurrent-programmingerlangcore-erlangwxwidgetsconsistencycausal-consistencyreversiblereversible-computation
  Language:Erlang 18

• harp-project / Core-Erlang-Formalization

  coqformalizationcore-erlangbig-step-semanticsprogram-equivalencesmall-step-semantics
  Language:Rocq Prover 12

• tchoutri / to_core

  This escript takes a path to a .beam file as an argument and outputs its Core Erlang representation

  core-erlangelixir-langerlang
  Language:Elixir 1

• yurrriq / ott-core-erlang

  core-erlangspecificationottsemantics
  1