This study shows the design and construction of reversible full adder and reversible 3bit comparator

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.

Fun but unusable perpetually-WIP reversible programming language written in Java.

multiple iterations looking for the best way to write reversible point-free python

A imperative reversible programming language developed in Python.

Describe Grammars such that they can be round-tripped between Parsing and Printing

A set of classes and libraries to Simulate Valleytronic Logic Gates and Computation

A 'lispy' grammar for a Programming Language

Reversible CSP Computations

An implementation of a reversible programming language

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.

A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.

Pair reversible partial functions for use with reversible Programs

Reversible cellular automata

Virtual machine implementation of a low-level reversible stack machine optimised for performance.

Java implementation of distributed reversible computation verification

A reversible imperative programming language with support for non-reversible operations 💀

A tool for the transformation of an irreversible Term Rewriting System into a reversible one

A time-and-memory-linearly reversible imperative programming language, featuring multi-threading and mono-directional data. 🚂

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/