concurrency formalization core-erlang big-step-semantics small-step-semantics program-equivalence rocq
-
Updated
Nov 12, 2026 - Rocq Prover
#
core-erlang
Here are 5 public repositories matching this topic...
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
a compiler backend that targets beam
-
Updated
Oct 19, 2026 - Gleam
-
Updated
Oct 26, 2017
This escript takes a path to a .beam file as an argument and outputs its Core Erlang representation
-
Updated
Feb 23, 2017 - Elixir
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."