harp-project/Core-Erlang-Formalization

Language: Coq - Size: 3.43 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 1

mistupv/cauder-core

A Causal-Consistent Debugger for (Core) Erlang

Language: Erlang - Size: 1.88 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 3

yurrriq/ott-core-erlang

Size: 199 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

tchoutri/to_core

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

Language: Elixir - Size: 2.59 MB - Last synced at: 29 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0