theseus, functional programming language with fully reversible computation

SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

A reversible language

A Causal-Consistent Debugger for (Core) Erlang

A Causal-Consistent Reversible Debugger for Erlang

Collaborative work on reversible computing

Develop here a programming language of reversible combinators

An implementation of the reversible semantics for Erlang.

Reversible programming language

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

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

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

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

Java implementation of distributed reversible computation verification

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

Reversible cellular automata

A imperative reversible programming language developed in Python.

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

A 'lispy' grammar for a Programming Language

Reversible CSP Computations