reversible-computation topic
List
reversible-computation repositories
theseus
115
Stars
6
Forks
Watchers
theseus, functional programming language with fully reversible computation
iso
23
Stars
0
Forks
Watchers
A reversible language
yarel
16
Stars
0
Forks
Watchers
Develop here a programming language of reversible combinators
cauder
16
Stars
4
Forks
Watchers
A Causal-Consistent Reversible Debugger for Erlang
cauder-core
18
Stars
3
Forks
Watchers
A Causal-Consistent Debugger for (Core) Erlang
mqt-syrec
23
Stars
8
Forks
Watchers
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
2DTypes
16
Stars
1
Forks
Watchers
Collaborative work on reversible computing