Pinned Repositories
Janus-parser
An example simple C/C++ parser for Janus reversible computing programming language
Janus-Parser-with-antlr4
Janus reversible computing programming language with antlr4
corinne-3
reversibleComputation
jiot-home-automation
Yet another repository for a LNCS paper.
cauder
A Causal-Consistent Reversible Debugger for Erlang
cauder-core
A Causal-Consistent Debugger for (Core) Erlang
rcr-group.github.io
Web Site for the Reversible Computing Research group
Corinne
A tool to manage Choreography Automata
Corinne-2
Python tool to manage Choreography Automatas