Este projeto é um simulador de uma Máquina de Turing Reversível. Ele executa simulações de autômatos baseados em quíntuplas, que são convertidos em quádruplas para garantir reversibilidade lógica.
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
A Causal-Consistent Reversible Debugger for Erlang
A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.
A imperative reversible programming language developed in Python.
Reversible cellular automata
A 'lispy' grammar for a Programming Language
Describe Grammars such that they can be round-tripped between Parsing and Printing
Pair reversible partial functions for use with reversible Programs
This study shows the design and construction of reversible full adder and reversible 3bit comparator
Java implementation of distributed reversible computation verification
Web app for Reversible Computation community, lets researchers share findings & papers, host events, & engage in discussions with peers. With the exciting aim to expedite Quantum & Reversible Computation breakthroughs by providing a centralized hub for collaboration & knowledge sharing.
Virtual machine implementation of a low-level reversible stack machine optimised for performance.
An implementation of a reversible programming language
Collaborative work on reversible computing
multiple iterations looking for the best way to write reversible point-free python
Develop here a programming language of reversible combinators
Fun but unusable perpetually-WIP reversible programming language written in Java.
A Causal-Consistent Debugger for (Core) Erlang
Add a description, image, and links to the reversible-computation topic page so that developers can more easily learn about it.
To associate your repository with the reversible-computation topic, visit your repo's landing page and select "manage topics."