#

core-erlang

Here are 4 public repositories matching this topic...

mistupv / cauder-core

A Causal-Consistent Debugger for (Core) Erlang

debugging erlang consistency wxwidgets concurrent-programming reversible causality core-erlang reversible-computation causal-consistency

Updated Jul 8, 2021
Erlang

harp-project / Core-Erlang-Formalization

coq formalization core-erlang big-step-semantics small-step-semantics program-equivalence

Updated Jan 15, 2025
Coq

yurrriq / ott-core-erlang

semantics specification ott core-erlang

Updated Oct 26, 2017

tchoutri / to_core

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

erlang elixir-lang core-erlang

Updated Feb 23, 2017
Elixir

Improve this page

Add a description, image, and links to the core-erlang topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the core-erlang topic, visit your repo's landing page and select "manage topics."